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