Repository navigation
Expand file tree
/
Copy pathscript.js
More file actions
63 lines (55 loc) · 1.85 KB
/
Copy pathscript.js
File metadata and controls
63 lines (55 loc) · 1.85 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
// if jQuery was loaded, let's make it noConflict here.
if ('function' === typeof jQuery && 'function' === typeof jQuery.noConflict) {
jQuery.noConflict();
}
/**
* Some browser detection
*/
var clientPC = navigator.userAgent.toLowerCase(); // Get client info
var is_macos = navigator.appVersion.indexOf('Mac') != -1;
var is_gecko = ((clientPC.indexOf('gecko')!=-1) && (clientPC.indexOf('spoofer')==-1) &&
(clientPC.indexOf('khtml') == -1) && (clientPC.indexOf('netscape/7.0')==-1));
var is_safari = ((clientPC.indexOf('applewebkit')!=-1) && (clientPC.indexOf('spoofer')==-1));
var is_khtml = (navigator.vendor == 'KDE' || ( document.childNodes && !document.all && !navigator.taintEnabled ));
if (clientPC.indexOf('opera')!=-1) {
var is_opera = true;
var is_opera_preseven = (window.opera && !document.childNodes);
var is_opera_seven = (window.opera && document.childNodes);
}
/**
* Prints a animated gif to show the search is performed
*
* Because we need to modify the DOM here before the document is loaded
* and parsed completely we have to rely on document.write()
*
* @author Andreas Gohr <andi@splitbrain.org>
*/
function showLoadBar(){
document.write('<img src="'+DOKU_BASE+'lib/images/loading.gif" '+
'width="150" height="12" alt="..." />');
/* this does not work reliable in IE
obj = $(id);
if(obj){
obj.innerHTML = '<img src="'+DOKU_BASE+'lib/images/loading.gif" '+
'width="150" height="12" alt="..." />';
obj.style.display="block";
}
*/
}
/**
* Disables the animated gif to show the search is done
*
* @author Andreas Gohr <andi@splitbrain.org>
*/
function hideLoadBar(id){
jQuery('#' + id).hide();
}
/**
* Handler to close all open Popups
*/
function closePopups(){
jQuery('div.JSpopup').hide();
}
jQuery(function () {
jQuery(document).click(closePopups);
});