comparison client/digitallibrary/dlMenu.html @ 41:44f653ae5df5

opera support done, bugfixes
author luginbue
date Tue, 21 May 2002 02:29:41 +0200
parents 054ebc851059
children 866e798e2bef
comparison
equal deleted inserted replaced
40:79f1deeb18c4 41:44f653ae5df5
12 <script language="JavaScript" src="buttons/menu.js"></script> 12 <script language="JavaScript" src="buttons/menu.js"></script>
13 <script language="JavaScript"> 13 <script language="JavaScript">
14 // because on a netscape 4.xx bug (messing up with layers on resize) we cache the window 14 // because on a netscape 4.xx bug (messing up with layers on resize) we cache the window
15 // resize event and redisplay the navigation frame 15 // resize event and redisplay the navigation frame
16 if (document.layers && !document.getElementById) { 16 if (document.layers && !document.getElementById) {
17 window.onresize = function() {parent.mainFrame.rightFrame.location.reload();} 17 window.onresize = function() {parent.rightFrame.location.reload();}
18 } 18 }
19 19
20 20
21 // variable that store the texts for contexthelp 21 // variable that store the texts for contexthelp
22 var helpText = new Array(); 22 var helpText = new Array();
45 var keepArea = true; 45 var keepArea = true;
46 46
47 // changes to the correct mark of menu33 (fit GIFs) 47 // changes to the correct mark of menu33 (fit GIFs)
48 // I know it is not very nice to do it this way 48 // I know it is not very nice to do it this way
49 function checkAtt3() { 49 function checkAtt3() {
50 if (parent.mainFrame.att) { 50 if (parent.mainFrame && parent.mainFrame.att) {
51 if (parent.mainFrame.att.length >= 3) { 51 if (parent.mainFrame.att.length >= 3) {
52 if (parent.mainFrame.att[3].indexOf('f') > -1) changeMark(33); 52 if (parent.mainFrame.att[3].indexOf('f') > -1) changeMark(33);
53 } else {
54 setTimeout("checkAtt3()", 100);
55 } 53 }
54 } else {
55 setTimeout("checkAtt3()", 100);
56 } 56 }
57 } 57 }
58 58
59 </script> 59 </script>
60 </head> 60 </head>
61 61
62 <body bgcolor="#CCCCCC" leftmargin="8" marginwidth="8" topmargin="5" marginheight="5" onload="preloadImages();" onunload="closeContextHelp()"> 62 <body bgcolor="#CCCCCC" leftmargin="8" marginwidth="8" topmargin="5" marginheight="5" onload="preloadImages();" onunload="closeContextHelp()">
63 <a href="#" onClick="parent.mainFrame.backPage(keepArea); return false;" onmouseover="overButton(0)" onmouseout="awayButton(0)"><img src="buttons/back0.gif" width="73" height="30" border="0"></a><br> 63 <a href="javascript:parent.mainFrame.backPage(keepArea)" onmouseover="overButton(0)" onmouseout="awayButton(0)"><img src="buttons/back0.gif" width="73" height="30" border="0"></a><br>
64 <a href="#" onClick="parent.mainFrame.nextPage(keepArea); return false;" onmouseover="overButton(1)" onmouseout="awayButton(1)"><img src="buttons/next0.gif" width="73" height="30" border="0"></a><br> 64 <a href="javascript:parent.mainFrame.nextPage(keepArea)" onmouseover="overButton(1)" onmouseout="awayButton(1)"><img src="buttons/next0.gif" width="73" height="30" border="0"></a><br>
65 <a href="#" onClick="parent.mainFrame.page(keepArea); return false;" onmouseover="overButton(2)" onmouseout="awayButton(2)"><img src="buttons/page0.gif" width="73" height="30" border="0"></a><br> 65 <a href="javascript:parent.mainFrame.page(keepArea)" onmouseover="overButton(2)" onmouseout="awayButton(2)"><img src="buttons/page0.gif" width="73" height="30" border="0"></a><br>
66 <a href="#" onClick="parent.mainFrame.digicat(); return false;" onmouseover="overButton(3)" onmouseout="awayButton(3)"><img src="buttons/digicat0.gif" width="73" height="30" border="0"></a><br><br> 66 <a href="javascript:parent.mainFrame.digicat()" onmouseover="overButton(3)" onmouseout="awayButton(3)"><img src="buttons/digicat0.gif" width="73" height="30" border="0"></a><br><br>
67 <a href="#" onClick="parent.mainFrame.mark(); return false;" onmouseover="overButton(4)" onmouseout="awayButton(4)"><img src="buttons/mark0.gif" width="73" height="30" border="0"></a><br> 67 <a href="javascript:parent.mainFrame.mark()" onmouseover="overButton(4)" onmouseout="awayButton(4)"><img src="buttons/mark0.gif" width="73" height="30" border="0"></a><br>
68 <a href="#" onclick="hideMenu(); showMenu(1); return false;" onmouseover="overButton(5)" onmouseout="awayButton(5)"><img src="buttons/reference0.gif" width="73" height="30" border="0"></a><br><br> 68 <a href="javascript:hideMenu(); showMenu(1)" onmouseover="overButton(5)" onmouseout="awayButton(5)"><img src="buttons/reference0.gif" width="73" height="30" border="0"></a><br><br>
69 <a href="#" onClick="parent.mainFrame.zoomArea(); return false;" onmouseover="overButton(6)" onmouseout="awayButton(6)"><img src="buttons/zoomarea0.gif" width="73" height="30" border="0"></a><br> 69 <a href="javascript:parent.mainFrame.zoomArea()" onmouseover="overButton(6)" onmouseout="awayButton(6)"><img src="buttons/zoomarea0.gif" width="73" height="30" border="0"></a><br>
70 <a href="#" onClick="parent.mainFrame.zoomPoint(); return false;" onmouseover="overButton(7)" onmouseout="awayButton(7)"><img src="buttons/zoompoint0.gif" width="73" height="30" border="0"></a><br> 70 <a href="javascript:parent.mainFrame.zoomPoint()" onmouseover="overButton(7)" onmouseout="awayButton(7)"><img src="buttons/zoompoint0.gif" width="73" height="30" border="0"></a><br>
71 <a href="#" onClick="parent.mainFrame.zoomOut(); return false;" onmouseover="overButton(8)" onmouseout="awayButton(8)"><img src="buttons/zoomout0.gif" width="73" height="30" border="0"></a><br> 71 <a href="javascript:parent.mainFrame.zoomOut()" onmouseover="overButton(8)" onmouseout="awayButton(8)"><img src="buttons/zoomout0.gif" width="73" height="30" border="0"></a><br>
72 <a href="#" onClick="parent.mainFrame.moveTo(); return false;" onmouseover="overButton(9)" onmouseout="awayButton(9)"><img src="buttons/moveto0.gif" width="73" height="30" border="0"></a><br><br> 72 <a href="javascript:parent.mainFrame.moveTo()" onmouseover="overButton(9)" onmouseout="awayButton(9)"><img src="buttons/moveto0.gif" width="73" height="30" border="0"></a><br><br>
73 <a href="#" onclick="hideMenu(); showMenu(2); return false;" onmouseover="overButton(10)" onmouseout="awayButton(10)"><img src="buttons/scale0.gif" width="73" height="30" border="0"></a><br><br> 73 <a href="javascript:hideMenu(); showMenu(2)" onmouseover="overButton(10)" onmouseout="awayButton(10)"><img src="buttons/scale0.gif" width="73" height="30" border="0"></a><br><br>
74 <a href="#" onClick="parent.mainFrame.makePDF(); return false;" onmouseover="overButton(11)" onmouseout="awayButton(11)"><img src="buttons/makepdf0.gif" width="73" height="30" border="0"></a><br><br> 74 <a href="javascript:parent.mainFrame.makePDF()" onmouseover="overButton(11)" onmouseout="awayButton(11)"><img src="buttons/makepdf0.gif" width="73" height="30" border="0"></a><br><br>
75 <a href="#" onclick="hideMenu(); showMenu(3); return false;" onmouseover="overButton(12)" onmouseout="awayButton(12)"><img src="buttons/questionmark0.gif" width="73" height="30" border="0"></a> 75 <a href="javascript:hideMenu(); showMenu(3)" onmouseover="overButton(12)" onmouseout="awayButton(12)"><img src="buttons/questionmark0.gif" width="73" height="30" border="0"></a>
76 76
77 <div id="menu1" class="menu" style="top:211; left:31; width:54; height:33; clip:rect(0,54,33,0)"></div> 77 <div id="menu1" class="menu" style="top:211; left:31; width:54; height:33; clip:rect(0,54,33,0)"></div>
78 <div id="menu11" class="item1" style="top:213"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.ref(0); return false;" onmouseover="overItem(11)" onmouseout="awayItem(11)">LaTeX</a></center></div> 78 <div id="menu11" class="item1" style="top:213"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.ref(0); return false;" onmouseover="overItem(11)" onmouseout="awayItem(11)">LaTeX</a></center></div>
79 <div id="menu12" class="item1" style="top:228"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.ref(1); return false;" onmouseover="overItem(12)" onmouseout="awayItem(12)">HTML</a></center></div> 79 <div id="menu12" class="item1" style="top:228"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.ref(1); return false;" onmouseover="overItem(12)" onmouseout="awayItem(12)">HTML</a></center></div>
80 80