annotate DVN-web/installer/dvninstall/doc/guides/_static/doctools.js @ 6:1b2188262ae9

adding the installer.
author "jurzua <jurzua@mpiwg-berlin.mpg.de>"
date Wed, 13 May 2015 11:50:21 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
1 /*
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
2 * doctools.js
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
3 * ~~~~~~~~~~~
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
4 *
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
5 * Sphinx JavaScript utilities for all documentation.
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
6 *
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
7 * :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
8 * :license: BSD, see LICENSE for details.
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
9 *
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
10 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
11
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
12 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
13 * select a different prefix for underscore
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
14 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
15 $u = _.noConflict();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
16
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
17 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
18 * make the code below compatible with browsers without
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
19 * an installed firebug like debugger
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
20 if (!window.console || !console.firebug) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
21 var names = ["log", "debug", "info", "warn", "error", "assert", "dir",
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
22 "dirxml", "group", "groupEnd", "time", "timeEnd", "count", "trace",
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
23 "profile", "profileEnd"];
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
24 window.console = {};
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
25 for (var i = 0; i < names.length; ++i)
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
26 window.console[names[i]] = function() {};
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
27 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
28 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
29
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
30 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
31 * small helper function to urldecode strings
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
32 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
33 jQuery.urldecode = function(x) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
34 return decodeURIComponent(x).replace(/\+/g, ' ');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
35 };
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
36
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
37 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
38 * small helper function to urlencode strings
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
39 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
40 jQuery.urlencode = encodeURIComponent;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
41
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
42 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
43 * This function returns the parsed url parameters of the
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
44 * current request. Multiple values per key are supported,
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
45 * it will always return arrays of strings for the value parts.
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
46 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
47 jQuery.getQueryParameters = function(s) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
48 if (typeof s == 'undefined')
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
49 s = document.location.search;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
50 var parts = s.substr(s.indexOf('?') + 1).split('&');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
51 var result = {};
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
52 for (var i = 0; i < parts.length; i++) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
53 var tmp = parts[i].split('=', 2);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
54 var key = jQuery.urldecode(tmp[0]);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
55 var value = jQuery.urldecode(tmp[1]);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
56 if (key in result)
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
57 result[key].push(value);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
58 else
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
59 result[key] = [value];
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
60 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
61 return result;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
62 };
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
63
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
64 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
65 * highlight a given string on a jquery object by wrapping it in
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
66 * span elements with the given class name.
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
67 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
68 jQuery.fn.highlightText = function(text, className) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
69 function highlight(node) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
70 if (node.nodeType == 3) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
71 var val = node.nodeValue;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
72 var pos = val.toLowerCase().indexOf(text);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
73 if (pos >= 0 && !jQuery(node.parentNode).hasClass(className)) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
74 var span = document.createElement("span");
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
75 span.className = className;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
76 span.appendChild(document.createTextNode(val.substr(pos, text.length)));
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
77 node.parentNode.insertBefore(span, node.parentNode.insertBefore(
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
78 document.createTextNode(val.substr(pos + text.length)),
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
79 node.nextSibling));
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
80 node.nodeValue = val.substr(0, pos);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
81 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
82 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
83 else if (!jQuery(node).is("button, select, textarea")) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
84 jQuery.each(node.childNodes, function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
85 highlight(this);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
86 });
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
87 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
88 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
89 return this.each(function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
90 highlight(this);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
91 });
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
92 };
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
93
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
94 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
95 * Small JavaScript module for the documentation.
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
96 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
97 var Documentation = {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
98
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
99 init : function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
100 this.fixFirefoxAnchorBug();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
101 this.highlightSearchWords();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
102 this.initIndexTable();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
103 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
104
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
105 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
106 * i18n support
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
107 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
108 TRANSLATIONS : {},
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
109 PLURAL_EXPR : function(n) { return n == 1 ? 0 : 1; },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
110 LOCALE : 'unknown',
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
111
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
112 // gettext and ngettext don't access this so that the functions
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
113 // can safely bound to a different name (_ = Documentation.gettext)
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
114 gettext : function(string) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
115 var translated = Documentation.TRANSLATIONS[string];
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
116 if (typeof translated == 'undefined')
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
117 return string;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
118 return (typeof translated == 'string') ? translated : translated[0];
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
119 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
120
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
121 ngettext : function(singular, plural, n) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
122 var translated = Documentation.TRANSLATIONS[singular];
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
123 if (typeof translated == 'undefined')
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
124 return (n == 1) ? singular : plural;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
125 return translated[Documentation.PLURALEXPR(n)];
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
126 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
127
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
128 addTranslations : function(catalog) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
129 for (var key in catalog.messages)
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
130 this.TRANSLATIONS[key] = catalog.messages[key];
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
131 this.PLURAL_EXPR = new Function('n', 'return +(' + catalog.plural_expr + ')');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
132 this.LOCALE = catalog.locale;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
133 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
134
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
135 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
136 * add context elements like header anchor links
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
137 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
138 addContextElements : function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
139 $('div[id] > :header:first').each(function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
140 $('<a class="headerlink">\u00B6</a>').
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
141 attr('href', '#' + this.id).
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
142 attr('title', _('Permalink to this headline')).
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
143 appendTo(this);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
144 });
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
145 $('dt[id]').each(function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
146 $('<a class="headerlink">\u00B6</a>').
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
147 attr('href', '#' + this.id).
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
148 attr('title', _('Permalink to this definition')).
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
149 appendTo(this);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
150 });
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
151 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
152
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
153 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
154 * workaround a firefox stupidity
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
155 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
156 fixFirefoxAnchorBug : function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
157 if (document.location.hash && $.browser.mozilla)
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
158 window.setTimeout(function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
159 document.location.href += '';
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
160 }, 10);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
161 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
162
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
163 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
164 * highlight the search words provided in the url in the text
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
165 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
166 highlightSearchWords : function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
167 var params = $.getQueryParameters();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
168 var terms = (params.highlight) ? params.highlight[0].split(/\s+/) : [];
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
169 if (terms.length) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
170 var body = $('div.body');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
171 window.setTimeout(function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
172 $.each(terms, function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
173 body.highlightText(this.toLowerCase(), 'highlighted');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
174 });
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
175 }, 10);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
176 $('<p class="highlight-link"><a href="javascript:Documentation.' +
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
177 'hideSearchWords()">' + _('Hide Search Matches') + '</a></p>')
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
178 .appendTo($('#searchbox'));
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
179 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
180 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
181
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
182 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
183 * init the domain index toggle buttons
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
184 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
185 initIndexTable : function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
186 var togglers = $('img.toggler').click(function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
187 var src = $(this).attr('src');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
188 var idnum = $(this).attr('id').substr(7);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
189 $('tr.cg-' + idnum).toggle();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
190 if (src.substr(-9) == 'minus.png')
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
191 $(this).attr('src', src.substr(0, src.length-9) + 'plus.png');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
192 else
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
193 $(this).attr('src', src.substr(0, src.length-8) + 'minus.png');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
194 }).css('display', '');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
195 if (DOCUMENTATION_OPTIONS.COLLAPSE_INDEX) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
196 togglers.click();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
197 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
198 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
199
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
200 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
201 * helper function to hide the search marks again
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
202 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
203 hideSearchWords : function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
204 $('#searchbox .highlight-link').fadeOut(300);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
205 $('span.highlighted').removeClass('highlighted');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
206 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
207
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
208 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
209 * make the url absolute
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
210 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
211 makeURL : function(relativeURL) {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
212 return DOCUMENTATION_OPTIONS.URL_ROOT + '/' + relativeURL;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
213 },
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
214
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
215 /**
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
216 * get the current relative url
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
217 */
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
218 getCurrentURL : function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
219 var path = document.location.pathname;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
220 var parts = path.split(/\//);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
221 $.each(DOCUMENTATION_OPTIONS.URL_ROOT.split(/\//), function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
222 if (this == '..')
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
223 parts.pop();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
224 });
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
225 var url = parts.join('/');
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
226 return path.substring(url.lastIndexOf('/') + 1, path.length - 1);
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
227 }
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
228 };
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
229
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
230 // quick alias for translations
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
231 _ = Documentation.gettext;
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
232
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
233 $(document).ready(function() {
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
234 Documentation.init();
1b2188262ae9 adding the installer.
"jurzua <jurzua@mpiwg-berlin.mpg.de>"
parents:
diff changeset
235 });