annotate client/digitallibrary/oldskin/dlMenu.html @ 355:c43f1c4f3f90

initial check in
author hertzhaft
date Tue, 06 Dec 2005 17:44:36 +0100
parents 6f88ad4b36e1
children cc3f88db6dfd
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
310
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
1 <html>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
2 <head>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
3 <style type="text/css">
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
4 .menu {position:absolute; visibility:hidden}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
5
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
6 .item1 {position:absolute; left:33; width:50; height:14; clip:rect(0,50,14,0); visibility:hidden}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
7 .item2 {position:absolute; left:43; width:40; height:14; clip:rect(0,40,14,0); visibility:hidden}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
8 .item3 {position:absolute; left:3; width:80; height:14; clip:rect(0,80,14,0); visibility:hidden}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
9
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
10 .text {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #FFFFFF; text-decoration: none}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
11 </style>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
12 <script language="JavaScript" src="buttons/menu.js"></script>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
13
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
14 <script language="JavaScript">
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
15 // because on a netscape 4.xx bug (messing up with layers on resize) we cache the window
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
16 // resize event and redisplay the navigation frame
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
17 if (document.layers && !document.getElementById) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
18 window.onresize = function() {parent.rightFrame.location.reload();}
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
19 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
20
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
21 /**
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
22 * overriding 'page' in navigation.js
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
23 */
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
24 function page(page, details) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
25
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
26 var pn = parseInt(parent.mainFrame.getParameter("pn"));
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
27 var pt = parseInt(parent.mainFrame.getParameter("pt"));
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
28
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
29 if ( details == null ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
30 details = 1;
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
31 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
32
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
33 if ( page && page.indexOf('-') == 0 ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
34 if ( pn > 1 ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
35 page = Math.max(pn - parseInt(page.slice(1)), 1);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
36 parent.mainFrame.setParameter("pn", page);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
37 display(details);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
38 } else {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
39 alert("You are already on the first page!");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
40 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
41
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
42 } else if ( page && page.indexOf('+') == 0 ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
43 if ( pn < pt ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
44 page = Math.min(pn + parseInt(page.slice(1)), pt);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
45 parent.mainFrame.setParameter("pn", page);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
46 display(details);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
47 } else {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
48 alert("You are already on the last page!");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
49 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
50 } else if ( page && page == parseInt(page) ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
51 if ( (page > 0) && (page <= pt) ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
52 parent.mainFrame.setParameter("pn", page);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
53 display(details);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
54 } else {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
55 alert ("Illegal page number (should be 1 - " + pt + ")!");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
56 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
57 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
58 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
59
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
60 /*
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
61 * new display function to refresh the pagesTotal frame
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
62 */
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
63
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
64 function display(detail) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
65 parent.pageFrame.show();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
66 parent.mainFrame.display(detail);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
67 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
68
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
69
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
70 function askPage() {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
71 do {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
72 p = prompt("Goto Page:", 1);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
73 } while ((p != null) && (p < 1));
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
74 page(p);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
75 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
76
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
77 function showRef(select) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
78 var hyperlinkRef = parent.mainFrame.baseUrl + "/digilib.jsp?";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
79 hyperlinkRef += parent.mainFrame.getAllParameters();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
80 if ( select == 0 ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
81 prompt("Link for LaTeX-documents", "\\href{" + hyperlinkRef + "}{TEXT}");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
82 } else if ( select == 1 ) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
83 prompt("Link for HTML-documents", hyperlinkRef);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
84 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
85 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
86
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
87 function setSize(size) {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
88 parent.mainFrame.setParameter('ws', size);
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
89 display();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
90 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
91
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
92 function digicat() {
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
93 var fn = parent.mainFrame.getParameter("fn");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
94 var pn = parent.mainFrame.getParameter("pn");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
95 var url = parent.mainFrame.baseUrl + "/digicat.jsp?fn=" + fn + "&pn=" + pn;
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
96 win = window.open(url, "digicat");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
97 win.focus();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
98 }
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
99
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
100 // boolean variable to either show or not show the additional help
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
101 // change in the menuitem its original mark
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
102 var showHelp = false;
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
103
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
104 // variable to tell if while changing to another page it should keep the area
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
105 // change in the menuitem its original mark (1 = false, 2 = true)
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
106 var keepArea = 2;
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
107
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
108
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
109 // variable that store the texts for contexthelp
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
110 var helpText = new Array();
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
111
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
112 helpText[0] = "'back'-button|Click on this button to load the previous image (usually the next page from a manuscript).";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
113 helpText[1] = "'next'-button|Click on this button to load the next image (usually the next page from a manuscript).";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
114 helpText[2] = "'page'-button|After clicking 'page' you will be prompted for a specific page you want to see.<br>Note that the page number refers to the same serie you are in now.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
115 helpText[3] = "'digicat'-button|Click here to open a new window containing thumbnails of the current series pages to navigate.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
116 helpText[4] = "'mark'-button|You can set marks into the picture. After hitting 'mark' you have to click on the desired picures location, a numbered mark appears.<br>Check out 'reference' to make these marks (up to 8) visible for others.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
117 helpText[5] = "'reference'-button|Choose LaTeX or HTML mode to get a link for the actual (zoomed) picture with all set marks.<br>This link can easily be included in a TeX- or HTML-formatted document/page.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
118 helpText[6] = "'zoom area'-button|With 'zoom area' you can zoom into any rectangular field for the current picture.<br>After clicking on the button click on the image to set any corner (ex. topleft), release the mousebutton and move the mouse until you have the desired size, then click again.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
119 helpText[7] = "'zoom in'-button|Clicking on 'zoom in' zooms in around the current center.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
120 helpText[8] = "'zoom out'-button|Clicking on 'zoom out' zooms out around the current center.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
121 helpText[9] = "'full page'-button|To gain the original unzoomed picture, click on 'full page'.<br>Note that any set marks are still saved at their positions.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
122 helpText[10] = "'size'-button|By clicking on one of the menu entries you can select the size of the currently displayed picture in relation to your browser window.<br>Note: a scale factor of '1.0' means that the picture fits right into the working area, while '2.0' means that it will be twice as high and wide.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
123 helpText[11] = "'?'-button|In its menu you are able change options like the visibility of this contextsensitive help, with 'Keep area' digilib keeps its current zoom area when changing to another page.";
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
124
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
125 </script>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
126 </head>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
127
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
128 <body bgcolor="#CCCCCC" leftmargin="8" marginwidth="8" topmargin="5" marginheight="5" onload="preloadImages()" onunload="closeContextHelp()">
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
129
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
130 <a href="javascript:page('-1', keepArea)" onmouseover="overButton(0)" onmouseout="awayButton(0)"><img src="buttons/back0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
131 <a href="javascript:page('+1', keepArea)" onmouseover="overButton(1)" onmouseout="awayButton(1)"><img src="buttons/next0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
132 <a href="javascript:askPage()" onmouseover="overButton(2)" onmouseout="awayButton(2)"><img src="buttons/page0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
133 <a href="javascript:digicat()" onmouseover="overButton(3)" onmouseout="awayButton(3)"><img src="buttons/digicat0.gif" width="73" height="30" border="0"></a><br><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
134 <a href="javascript:parent.mainFrame.setMark(false);" onmouseover="overButton(4)" onmouseout="awayButton(4)"><img src="buttons/mark0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
135 <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>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
136 <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>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
137 <a href="javascript:parent.mainFrame.zoomBy(1.4142)" onmouseover="overButton(7)" onmouseout="awayButton(7)"><img src="buttons/zoomin0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
138 <a href="javascript:parent.mainFrame.zoomBy(0.7071)" onmouseover="overButton(8)" onmouseout="awayButton(8)"><img src="buttons/zoomout0.gif" width="73" height="30" border="0"></a><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
139 <a href="javascript:parent.mainFrame.zoomFullpage()" onmouseover="overButton(9)" onmouseout="awayButton(9)"><img src="buttons/fullpage0.gif" width="73" height="30" border="0"></a><br><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
140 <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>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
141 <a href="javascript:hideMenu(); showMenu(3)" onmouseover="overButton(11)" onmouseout="awayButton(11)"><img src="buttons/questionmark0.gif" width="73" height="30" border="0"></a><br><br>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
142
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
143 <div id="menu1" class="menu" style="top:201; left:31; width:54; height:33; clip:rect(0,54,33,0)"></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
144 <div id="menu11" class="item1" style="top:203"><center><a href="#" class="text" onClick="hideMenu(); showRef(0); return false;" onmouseover="overItem(11)" onmouseout="awayItem(11)">LaTeX</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
145 <div id="menu12" class="item1" style="top:218"><center><a href="#" class="text" onClick="hideMenu(); showRef(1); return false;" onmouseover="overItem(12)" onmouseout="awayItem(12)">HTML</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
146
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
147 <div id="menu2" class="menu" style="top:379; left:41; width:44; height:93; clip:rect(0,44,93,0)"></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
148 <div id="menu21" class="item2" style="top:381"><center><a href="#" class="text" onClick="hideMenu(); setSize(0.7); return false;" onmouseover="overItem(21)" onmouseout="awayItem(21)">0.7</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
149 <div id="menu22" class="item2" style="top:396"><center><a href="#" class="text" onClick="hideMenu(); setSize(1.0); return false;" onmouseover="overItem(22)" onmouseout="awayItem(22)">1.0</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
150 <div id="menu23" class="item2" style="top:411"><center><a href="#" class="text" onClick="hideMenu(); setSize(1.5); return false;" onmouseover="overItem(23)" onmouseout="awayItem(23)">1.5</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
151 <div id="menu24" class="item2" style="top:426"><center><a href="#" class="text" onClick="hideMenu(); setSize(2.0); return false;" onmouseover="overItem(24)" onmouseout="awayItem(24)">2.0</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
152 <div id="menu25" class="item2" style="top:441"><center><a href="#" class="text" onClick="hideMenu(); setSize(2.5); return false;" onmouseover="overItem(25)" onmouseout="awayItem(25)">2.5</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
153 <div id="menu26" class="item2" style="top:456"><center><a href="#" class="text" onClick="hideMenu(); setSize(3.0); return false;" onmouseover="overItem(26)" onmouseout="awayItem(26)">3.0</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
154
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
155 <div id="menu3" class="menu" style="top:430; left:1; width:84; height:33; clip:rect(0,84,33,0)"></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
156 <div id="menu31" class="item3" style="top:432"><center><a href="#" class="text" onclick="changeMark(31); hideMenu(); changeHelp(); return false;" onmouseover="overItem(31)" onmouseout="awayItem(31)"><img id="mark31" src="buttons/nomark.gif" border="0">Contexthelp</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
157 <div id="menu32" class="item3" style="top:447"><center><a href="#" class="text" onclick="changeMark(32); keepArea = (keepArea == 1) ? 2 : 1; return false;" onmouseover="overItem(32)" onmouseout="awayItem(32)"><img id="mark32" src="buttons/mark.gif" border="0">Keep&nbsp;area</a></center></div>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
158
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
159 <script language="Javascript">
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
160 // initial background color of the menues (has to be done like this,
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
161 // otherwise menues in ns4 you will have wrong dimensions)
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
162 changeBc("menu1", "#666666");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
163 changeBc("menu2", "#666666");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
164 changeBc("menu3", "#666666");
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
165 </script>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
166 </body>
6f88ad4b36e1 big autumn cleaning :-)
robcast
parents:
diff changeset
167 </html>