+++ /dev/null
-// Global variables.
-var HJMmenu;
-
-function initializeMenu() {
- HJMmenu =
- document.getElementById ?
- // A DOM browser
- document.getElementById("HJMmenu").style
- : // Probably Netscape Navigator 4.0
- document.HJMmenu;
- HJMmenu.visibility="hidden";
-}
-
-function showMenu() {
- HJMmenu.visibility="visible";
-}
-
-function hideMenu() {
- HJMmenu.visibility="hidden";
-}
-
-function moveMenu(x,y) {
- var y2 = y - 25;
- var x2 = x - 25;
- if (document.getElementById) {
- // Not Netscape Navigator 4.0
- HJMmenu.left = x2 + "px";
- HJMmenu.top = y2 + "px";
- } else {
- // Probably Netscape Navigator 4.0
- HJMmenu.left = x2;
- HJMmenu.top = y2;
- }
-}
-
-function getX(event) {
- if(!event.pageX)
- // Probably Internet Explorer
- return event.clientX + document.body.scrollLeft;
- else
- // Probably Netscape Navigator
- return event.pageX;
-}
-
-function getY(event) {
- if(!event.pageY)
- // Probably Internet Explorer
- return event.clientY + document.body.scrollTop;
- else
- // Probably Netscape Navigator
- return event.pageY;
-}
-
-if (!document.getElementById) {
- // Probably Netscape Navigator
- document.captureEvents(Event.MOUSEDOWN);
- document.onmousedown = hideMenu;
-}