/usr/lib/swi-prolog/library/pldoc/pldoc.js is in swi-prolog-nox 7.2.3-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 | /* $Id$
This file is part of the SWI-Prolog PlDoc package for online
documentation browsing. It defines JavaScript to issue HTTP requests on
the Prolog server that do not create a new page.
Author: Jan Wielemaker & Michiel Hildebrand
Copying: Public domain
*/
var req;
function Initialize()
{ if ( req && req.readyState != 0 )
req.abort();
try
{ req = new ActiveXObject("Msxml2.XMLHTTP");
} catch ( e )
{ try
{ req = new ActiveXObject("Microsoft.XMLHTTP");
}
catch(oc)
{ req=null;
}
}
if ( !req && typeof XMLHttpRequest != "undefined" )
{ req = new XMLHttpRequest();
}
}
function Process()
{ if ( req.readyState == 4 )
{ if ( req.status == 200 )
{ if ( req.responseText=="" )
{ //HideDiv("suggestionbox");
} else
{ //document.getElementById("suggestionbox").innerHTML = req.responseText;
//ShowDiv("suggestionbox");
}
}
}
}
function HTTPrequest(url)
{ Initialize();
if ( req != null )
{ req.onreadystatechange = Process;
req.open("GET", url, true);
req.send(null);
} else
{ alert("Could not initialize HTTP request")
}
}
/* Improve footnote interaction. Contributed by Anne Ogborn.
*/
$(window).load(function(){
var footnoteactivator = $('.fn');
footnoteactivator.mouseenter(function() {
window.clearTimeout(this.footnoteid);
var fn = $(this).find('span.fn-text');
if ( fn ) {
fn.removeClass('fn-text');
fn.addClass('fnp');
}
$(this).find('span.fnp').show(100);
});
footnoteactivator.mouseleave(function() {
var t = $(this).find('span.fnp');
if(this.footnoteid !== null)
{
window.clearTimeout(this.footnoteid);
}
this.footnoteid = window.setTimeout(
function() {
t.hide(100);
}, 2000);
});
});
|