author | Jonathan Grimm <jonathan@fhi-berlin.mpg.de> |
Fri, 12 Jan 2018 14:16:17 +0100 | |
changeset 4 | 633ec114762a |
permissions | -rw-r--r-- |
4
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
1 |
/* |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
2 |
* doctools.js |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
3 |
* ~~~~~~~~~~~ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
4 |
* |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
5 |
* Sphinx JavaScript utilities for all documentation. |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
6 |
* |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
7 |
* :copyright: Copyright 2007-2016 by the Sphinx team, see AUTHORS. |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
8 |
* :license: BSD, see LICENSE for details. |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
9 |
* |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
10 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
11 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
12 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
13 |
* select a different prefix for underscore |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
14 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
15 |
$u = _.noConflict(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
16 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
17 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
18 |
* make the code below compatible with browsers without |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
19 |
* an installed firebug like debugger |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
20 |
if (!window.console || !console.firebug) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
21 |
var names = ["log", "debug", "info", "warn", "error", "assert", "dir", |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
22 |
"dirxml", "group", "groupEnd", "time", "timeEnd", "count", "trace", |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
23 |
"profile", "profileEnd"]; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
24 |
window.console = {}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
25 |
for (var i = 0; i < names.length; ++i) |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
26 |
window.console[names[i]] = function() {}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
27 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
28 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
29 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
30 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
31 |
* small helper function to urldecode strings |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
32 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
33 |
jQuery.urldecode = function(x) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
34 |
return decodeURIComponent(x).replace(/\+/g, ' '); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
35 |
}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
36 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
37 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
38 |
* small helper function to urlencode strings |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
39 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
40 |
jQuery.urlencode = encodeURIComponent; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
41 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
42 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
43 |
* This function returns the parsed url parameters of the |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
44 |
* current request. Multiple values per key are supported, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
45 |
* it will always return arrays of strings for the value parts. |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
46 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
47 |
jQuery.getQueryParameters = function(s) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
48 |
if (typeof s == 'undefined') |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
49 |
s = document.location.search; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
50 |
var parts = s.substr(s.indexOf('?') + 1).split('&'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
51 |
var result = {}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
52 |
for (var i = 0; i < parts.length; i++) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
53 |
var tmp = parts[i].split('=', 2); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
54 |
var key = jQuery.urldecode(tmp[0]); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
55 |
var value = jQuery.urldecode(tmp[1]); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
56 |
if (key in result) |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
57 |
result[key].push(value); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
58 |
else |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
59 |
result[key] = [value]; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
60 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
61 |
return result; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
62 |
}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
63 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
64 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
65 |
* highlight a given string on a jquery object by wrapping it in |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
66 |
* span elements with the given class name. |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
67 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
68 |
jQuery.fn.highlightText = function(text, className) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
69 |
function highlight(node) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
70 |
if (node.nodeType == 3) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
71 |
var val = node.nodeValue; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
72 |
var pos = val.toLowerCase().indexOf(text); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
73 |
if (pos >= 0 && !jQuery(node.parentNode).hasClass(className)) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
74 |
var span = document.createElement("span"); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
75 |
span.className = className; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
76 |
span.appendChild(document.createTextNode(val.substr(pos, text.length))); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
77 |
node.parentNode.insertBefore(span, node.parentNode.insertBefore( |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
78 |
document.createTextNode(val.substr(pos + text.length)), |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
79 |
node.nextSibling)); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
80 |
node.nodeValue = val.substr(0, pos); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
81 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
82 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
83 |
else if (!jQuery(node).is("button, select, textarea")) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
84 |
jQuery.each(node.childNodes, function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
85 |
highlight(this); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
86 |
}); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
87 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
88 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
89 |
return this.each(function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
90 |
highlight(this); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
91 |
}); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
92 |
}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
93 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
94 |
/* |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
95 |
* backward compatibility for jQuery.browser |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
96 |
* This will be supported until firefox bug is fixed. |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
97 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
98 |
if (!jQuery.browser) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
99 |
jQuery.uaMatch = function(ua) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
100 |
ua = ua.toLowerCase(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
101 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
102 |
var match = /(chrome)[ \/]([\w.]+)/.exec(ua) || |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
103 |
/(webkit)[ \/]([\w.]+)/.exec(ua) || |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
104 |
/(opera)(?:.*version|)[ \/]([\w.]+)/.exec(ua) || |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
105 |
/(msie) ([\w.]+)/.exec(ua) || |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
106 |
ua.indexOf("compatible") < 0 && /(mozilla)(?:.*? rv:([\w.]+)|)/.exec(ua) || |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
107 |
[]; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
108 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
109 |
return { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
110 |
browser: match[ 1 ] || "", |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
111 |
version: match[ 2 ] || "0" |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
112 |
}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
113 |
}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
114 |
jQuery.browser = {}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
115 |
jQuery.browser[jQuery.uaMatch(navigator.userAgent).browser] = true; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
116 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
117 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
118 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
119 |
* Small JavaScript module for the documentation. |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
120 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
121 |
var Documentation = { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
122 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
123 |
init : function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
124 |
this.fixFirefoxAnchorBug(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
125 |
this.highlightSearchWords(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
126 |
this.initIndexTable(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
127 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
128 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
129 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
130 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
131 |
* i18n support |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
132 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
133 |
TRANSLATIONS : {}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
134 |
PLURAL_EXPR : function(n) { return n == 1 ? 0 : 1; }, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
135 |
LOCALE : 'unknown', |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
136 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
137 |
// gettext and ngettext don't access this so that the functions |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
138 |
// can safely bound to a different name (_ = Documentation.gettext) |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
139 |
gettext : function(string) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
140 |
var translated = Documentation.TRANSLATIONS[string]; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
141 |
if (typeof translated == 'undefined') |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
142 |
return string; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
143 |
return (typeof translated == 'string') ? translated : translated[0]; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
144 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
145 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
146 |
ngettext : function(singular, plural, n) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
147 |
var translated = Documentation.TRANSLATIONS[singular]; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
148 |
if (typeof translated == 'undefined') |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
149 |
return (n == 1) ? singular : plural; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
150 |
return translated[Documentation.PLURALEXPR(n)]; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
151 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
152 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
153 |
addTranslations : function(catalog) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
154 |
for (var key in catalog.messages) |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
155 |
this.TRANSLATIONS[key] = catalog.messages[key]; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
156 |
this.PLURAL_EXPR = new Function('n', 'return +(' + catalog.plural_expr + ')'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
157 |
this.LOCALE = catalog.locale; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
158 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
159 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
160 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
161 |
* add context elements like header anchor links |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
162 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
163 |
addContextElements : function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
164 |
$('div[id] > :header:first').each(function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
165 |
$('<a class="headerlink">\u00B6</a>'). |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
166 |
attr('href', '#' + this.id). |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
167 |
attr('title', _('Permalink to this headline')). |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
168 |
appendTo(this); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
169 |
}); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
170 |
$('dt[id]').each(function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
171 |
$('<a class="headerlink">\u00B6</a>'). |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
172 |
attr('href', '#' + this.id). |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
173 |
attr('title', _('Permalink to this definition')). |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
174 |
appendTo(this); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
175 |
}); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
176 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
177 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
178 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
179 |
* workaround a firefox stupidity |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
180 |
* see: https://bugzilla.mozilla.org/show_bug.cgi?id=645075 |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
181 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
182 |
fixFirefoxAnchorBug : function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
183 |
if (document.location.hash) |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
184 |
window.setTimeout(function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
185 |
document.location.href += ''; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
186 |
}, 10); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
187 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
188 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
189 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
190 |
* highlight the search words provided in the url in the text |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
191 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
192 |
highlightSearchWords : function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
193 |
var params = $.getQueryParameters(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
194 |
var terms = (params.highlight) ? params.highlight[0].split(/\s+/) : []; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
195 |
if (terms.length) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
196 |
var body = $('div.body'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
197 |
if (!body.length) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
198 |
body = $('body'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
199 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
200 |
window.setTimeout(function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
201 |
$.each(terms, function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
202 |
body.highlightText(this.toLowerCase(), 'highlighted'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
203 |
}); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
204 |
}, 10); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
205 |
$('<p class="highlight-link"><a href="javascript:Documentation.' + |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
206 |
'hideSearchWords()">' + _('Hide Search Matches') + '</a></p>') |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
207 |
.appendTo($('#searchbox')); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
208 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
209 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
210 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
211 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
212 |
* init the domain index toggle buttons |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
213 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
214 |
initIndexTable : function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
215 |
var togglers = $('img.toggler').click(function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
216 |
var src = $(this).attr('src'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
217 |
var idnum = $(this).attr('id').substr(7); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
218 |
$('tr.cg-' + idnum).toggle(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
219 |
if (src.substr(-9) == 'minus.png') |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
220 |
$(this).attr('src', src.substr(0, src.length-9) + 'plus.png'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
221 |
else |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
222 |
$(this).attr('src', src.substr(0, src.length-8) + 'minus.png'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
223 |
}).css('display', ''); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
224 |
if (DOCUMENTATION_OPTIONS.COLLAPSE_INDEX) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
225 |
togglers.click(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
226 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
227 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
228 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
229 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
230 |
* helper function to hide the search marks again |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
231 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
232 |
hideSearchWords : function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
233 |
$('#searchbox .highlight-link').fadeOut(300); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
234 |
$('span.highlighted').removeClass('highlighted'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
235 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
236 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
237 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
238 |
* make the url absolute |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
239 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
240 |
makeURL : function(relativeURL) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
241 |
return DOCUMENTATION_OPTIONS.URL_ROOT + '/' + relativeURL; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
242 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
243 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
244 |
/** |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
245 |
* get the current relative url |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
246 |
*/ |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
247 |
getCurrentURL : function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
248 |
var path = document.location.pathname; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
249 |
var parts = path.split(/\//); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
250 |
$.each(DOCUMENTATION_OPTIONS.URL_ROOT.split(/\//), function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
251 |
if (this == '..') |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
252 |
parts.pop(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
253 |
}); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
254 |
var url = parts.join('/'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
255 |
return path.substring(url.lastIndexOf('/') + 1, path.length - 1); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
256 |
}, |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
257 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
258 |
initOnKeyListeners: function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
259 |
$(document).keyup(function(event) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
260 |
var activeElementType = document.activeElement.tagName; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
261 |
// don't navigate when in search box or textarea |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
262 |
if (activeElementType !== 'TEXTAREA' && activeElementType !== 'INPUT' && activeElementType !== 'SELECT') { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
263 |
switch (event.keyCode) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
264 |
case 37: // left |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
265 |
var prevHref = $('link[rel="prev"]').prop('href'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
266 |
if (prevHref) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
267 |
window.location.href = prevHref; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
268 |
return false; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
269 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
270 |
case 39: // right |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
271 |
var nextHref = $('link[rel="next"]').prop('href'); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
272 |
if (nextHref) { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
273 |
window.location.href = nextHref; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
274 |
return false; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
275 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
276 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
277 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
278 |
}); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
279 |
} |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
280 |
}; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
281 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
282 |
// quick alias for translations |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
283 |
_ = Documentation.gettext; |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
284 |
|
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
285 |
$(document).ready(function() { |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
286 |
Documentation.init(); |
633ec114762a
Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff
changeset
|
287 |
}); |