/usr/share/synopsis-0.12/html.js is in synopsis 0.12-8.
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 88 89 90 91 92 93 94 95 96 | var isNav4 = false, isIE4 = false;
if (parseInt(navigator.appVersion.charAt(0)) == 4)
{
isNav4 = (navigator.appName == "Netscape") ? true : false;
}
else if (parseInt(navigator.appVersion.charAt(0)) >= 4)
{
isIE4 = (navigator.appName.indexOf("Microsoft") != -1) ? true : false;
}
var isMoz = (isNav4 || isIE4) ? false : true;
showImage = new Image(); hideImage = new Image();
function init_tree(show_src, hide_src)
{
showImage.src = show_src; hideImage.src = hide_src;
}
function toggle(id)
{
if (isMoz)
{
section = document.getElementById(id);
image = document.getElementById(id+"_img");
if (section.style.display == "none")
{
section.style.display = "";
image.src = showImage.src;
}
else
{
section.style.display = "none";
image.src = hideImage.src;
}
}
else if (isIE4)
{
section = document.items[id];
image = document.images[id+"_img"];
if (section.style.display == "none")
{
section.style.display = "";
image.src = showImage.src;
}
else
{
section.style.display = "none";
image.src = hideImage.src;
}
}
else if (isNav4)
{
section = document.items[id];
image = document.images[id+"_img"];
if (section.display == "none")
{
section.style.display = "";
image.src = showImage.src;
}
else
{
section.display = "none";
image.src = hideImage.src;
}
}
}
var tree_max_node = 0;
function open_all()
{
for (i = 1; i <= tree_max_node; i++)
{
id = "tree"+i;
section = document.getElementById(id);
image = document.getElementById(id+"_img");
section.style.display = "";
image.src = showImage.src;
}
}
function close_all()
{
for (i = 1; i <= tree_max_node; i++)
{
id = "tree"+i;
section = document.getElementById(id);
image = document.getElementById(id+"_img");
section.style.display = "none";
image.src = hideImage.src;
}
}
init_tree("tree_open.png", "tree_close.png");
function go(frame1, url1, frame2, url2)
{
window.parent.frames[frame1].location=url1;
window.parent.frames[frame2].location=url2;
return false;
}
|