annotate client/digitallibrary/navigation.html @ 11:bb7864627cfa vendor

First import of client module
author robcast
date Thu, 17 Jan 2002 15:29:52 +0100
parents 254fca7a21ce
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
254fca7a21ce First import of client module
robcast
parents:
diff changeset
1 <html>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
2 <head>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
3 <style type="text/css">
254fca7a21ce First import of client module
robcast
parents:
diff changeset
4 .menu {position:absolute; visibility:hidden}
254fca7a21ce First import of client module
robcast
parents:
diff changeset
5
254fca7a21ce First import of client module
robcast
parents:
diff changeset
6 .item1 {position:absolute; left:33; width:50; height:14; clip:rect(0,50,14,0); visibility:hidden}
254fca7a21ce First import of client module
robcast
parents:
diff changeset
7 .item2 {position:absolute; left:43; width:40; height:14; clip:rect(0,40,14,0); visibility:hidden}
254fca7a21ce First import of client module
robcast
parents:
diff changeset
8 .item3 {position:absolute; left:3; width:80; height:14; clip:rect(0,80,14,0); visibility:hidden}
254fca7a21ce First import of client module
robcast
parents:
diff changeset
9
254fca7a21ce First import of client module
robcast
parents:
diff changeset
10 .text {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #FFFFFF; text-decoration: none}
254fca7a21ce First import of client module
robcast
parents:
diff changeset
11 </style>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
12 <script language="JavaScript" src="buttons/menu.js"></script>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
13 <script language="JavaScript" src="page.js"></script>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
14 <script language="JavaScript">
254fca7a21ce First import of client module
robcast
parents:
diff changeset
15 // because on a netscape 4.xx bug (messing up with layers on resize) we cache the window
254fca7a21ce First import of client module
robcast
parents:
diff changeset
16 // resize event and redisplay the navigation frame
254fca7a21ce First import of client module
robcast
parents:
diff changeset
17 if (document.layers && !document.getElementById) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
18 window.onresize = function() {parent.rightFrame.location.reload();}
254fca7a21ce First import of client module
robcast
parents:
diff changeset
19 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
20
254fca7a21ce First import of client module
robcast
parents:
diff changeset
21
254fca7a21ce First import of client module
robcast
parents:
diff changeset
22 // variable that store the texts for contexthelp
254fca7a21ce First import of client module
robcast
parents:
diff changeset
23 var helpText = new Array();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
24
254fca7a21ce First import of client module
robcast
parents:
diff changeset
25 helpText[0] = "'back'-button|Click on this button to load the previous image (usually the next page from a manuscript).";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
26 helpText[1] = "'next'-button|Click on this button to load the next image (usually the next page from a manuscript).";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
27 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.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
28 helpText[3] = "'digicat'-button|Click here to open a new window containing thumbnails of the current series pages to navigate.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
29 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.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
30 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.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
31 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.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
32 helpText[7] = "'zoom point'-button|Click on 'zoom point' then click into a point of the picture. This gives you a zoomed picture centered around your clicked point.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
33 helpText[8] = "'zoom out'-button|To gain the original unzoomed picture, click on 'zoom out'.<br>Note that any set marks are still saved at their positions.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
34 helpText[9] = "'move to'-button|This button allows you change the center of a zoomed picture, while not changing the current zoom-factor.<br>Use: Click on the point in the picture you want to be the new center of the image.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
35 helpText[10] = "'scale'-button|By clicking on one of the menu entries you can select the factor the currently displayed picture will be scaled.<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 large.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
36 helpText[11] = "'?'-button|In its menu you are able change options like the visibility of this contextsensitive help, with 'Keep area' the program keeps its current area when changing to another page or with 'Fit GIFs' you can force to program to adjust the size of GIF-images to the working area.";
254fca7a21ce First import of client module
robcast
parents:
diff changeset
37
254fca7a21ce First import of client module
robcast
parents:
diff changeset
38
254fca7a21ce First import of client module
robcast
parents:
diff changeset
39 // boolean variable to eighter show or not show the additional help
254fca7a21ce First import of client module
robcast
parents:
diff changeset
40 // change in the menuitem its original mark
254fca7a21ce First import of client module
robcast
parents:
diff changeset
41 var showHelp = false;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
42
254fca7a21ce First import of client module
robcast
parents:
diff changeset
43 // variable to tell if while changing to another page it should keep the area
254fca7a21ce First import of client module
robcast
parents:
diff changeset
44 // change in the menuitem its original mark
254fca7a21ce First import of client module
robcast
parents:
diff changeset
45 var keepArea = true;
254fca7a21ce First import of client module
robcast
parents:
diff changeset
46
254fca7a21ce First import of client module
robcast
parents:
diff changeset
47 // changes to the correct mark of menu33 (fit GIFs)
254fca7a21ce First import of client module
robcast
parents:
diff changeset
48 // I know it is not very nice to do it this way
254fca7a21ce First import of client module
robcast
parents:
diff changeset
49 function checkAtt3() {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
50 if (parent.att) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
51 if (parent.att.length >= 3) {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
52 if (parent.att[3].indexOf('f') > -1) changeMark(33);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
53 } else {
254fca7a21ce First import of client module
robcast
parents:
diff changeset
54 setTimeout("checkAtt3()", 100);
254fca7a21ce First import of client module
robcast
parents:
diff changeset
55 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
56 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
57 }
254fca7a21ce First import of client module
robcast
parents:
diff changeset
58
254fca7a21ce First import of client module
robcast
parents:
diff changeset
59 </script>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
60 </head>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
61
254fca7a21ce First import of client module
robcast
parents:
diff changeset
62 <body bgcolor="#CCCCCC" leftmargin="8" marginwidth="8" topmargin="5" marginheight="5" onload="preloadImages();" onunload="closeContextHelp()">
254fca7a21ce First import of client module
robcast
parents:
diff changeset
63 <a href="#" onClick="parent.Backpage(keepArea); return false;" onmouseover="overButton(0)" onmouseout="awayButton(0)"><img src="buttons/back0.gif" width="73" height="30" border="0"></a><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
64 <a href="#" onClick="parent.Nextpage(keepArea); return false;" onmouseover="overButton(1)" onmouseout="awayButton(1)"><img src="buttons/next0.gif" width="73" height="30" border="0"></a><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
65 <a href="#" onClick="parent.Page(keepArea); return false;" onmouseover="overButton(2)" onmouseout="awayButton(2)"><img src="buttons/page0.gif" width="73" height="30" border="0"></a><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
66 <a href="#" onClick="parent.Digicat(); return false;" onmouseover="overButton(3)" onmouseout="awayButton(3)"><img src="buttons/digicat0.gif" width="73" height="30" border="0"></a><br><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
67 <a href="#" onClick="parent.Mark(); return false;" onmouseover="overButton(4)" onmouseout="awayButton(4)"><img src="buttons/mark0.gif" width="73" height="30" border="0"></a><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
69 <a href="#" onClick="parent.Zoomrect(); return false;" onmouseover="overButton(6)" onmouseout="awayButton(6)"><img src="buttons/zoomarea0.gif" width="73" height="30" border="0"></a><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
70 <a href="#" onClick="parent.Zoomin(); return false;" onmouseover="overButton(7)" onmouseout="awayButton(7)"><img src="buttons/zoompoint0.gif" width="73" height="30" border="0"></a><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
71 <a href="#" onClick="parent.Zoomout(); return false;" onmouseover="overButton(8)" onmouseout="awayButton(8)"><img src="buttons/zoomout0.gif" width="73" height="30" border="0"></a><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
72 <a href="#" onClick="parent.Moveto(); return false;" onmouseover="overButton(9)" onmouseout="awayButton(9)"><img src="buttons/moveto0.gif" width="73" height="30" border="0"></a><br><br>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
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>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
74 <a href="#" onclick="hideMenu(); showMenu(3); return false;" onmouseover="overButton(11)" onmouseout="awayButton(11)"><img src="buttons/questionmark0.gif" width="73" height="30" border="0"></a>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
75
254fca7a21ce First import of client module
robcast
parents:
diff changeset
76 <div id="menu1" class="menu" style="top:211; left:31; width:54; height:33; clip:rect(0,54,33,0)"></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
77 <div id="menu11" class="item1" style="top:213"><center><a href="#" class="text" onClick="hideMenu(); parent.Ref(0); return false;" onmouseover="overItem(11)" onmouseout="awayItem(11)">LaTeX</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
78 <div id="menu12" class="item1" style="top:228"><center><a href="#" class="text" onClick="hideMenu(); parent.Ref(1); return false;" onmouseover="overItem(12)" onmouseout="awayItem(12)">HTML</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
79
254fca7a21ce First import of client module
robcast
parents:
diff changeset
80 <div id="menu2" class="menu" style="top:399; left:41; width:44; height:93; clip:rect(0,44,93,0)"></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
81 <div id="menu21" class="item2" style="top:401"><center><a href="#" class="text" onClick="hideMenu(); parent.Scaledef(0.7); return false;" onmouseover="overItem(21)" onmouseout="awayItem(21)">0.7</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
82 <div id="menu22" class="item2" style="top:416"><center><a href="#" class="text" onClick="hideMenu(); parent.Scaledef(1.0); return false;" onmouseover="overItem(22)" onmouseout="awayItem(22)">1.0</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
83 <div id="menu23" class="item2" style="top:431"><center><a href="#" class="text" onClick="hideMenu(); parent.Scaledef(1.5); return false;" onmouseover="overItem(23)" onmouseout="awayItem(23)">1.5</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
84 <div id="menu24" class="item2" style="top:446"><center><a href="#" class="text" onClick="hideMenu(); parent.Scaledef(2.0); return false;" onmouseover="overItem(24)" onmouseout="awayItem(24)">2.0</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
85 <div id="menu25" class="item2" style="top:461"><center><a href="#" class="text" onClick="hideMenu(); parent.Scaledef(2.5); return false;" onmouseover="overItem(25)" onmouseout="awayItem(25)">2.5</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
86 <div id="menu26" class="item2" style="top:476"><center><a href="#" class="text" onClick="hideMenu(); parent.Scaledef(3.0); return false;" onmouseover="overItem(26)" onmouseout="awayItem(26)">3.0</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
87
254fca7a21ce First import of client module
robcast
parents:
diff changeset
88 <div id="menu3" class="menu" style="top:448; left:1; width:84; height:48; clip:rect(0,84,48,0)"></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
89 <div id="menu31" class="item3" style="top:450"><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>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
90 <div id="menu32" class="item3" style="top:465"><center><a href="#" class="text" onclick="changeMark(32); keepArea = !keepArea; return false;" onmouseover="overItem(32)" onmouseout="awayItem(32)"><img id="mark32" src="buttons/mark.gif" border="0">Keep&nbsp;area</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
91 <div id="menu33" class="item3" style="top:480"><center><a href="#" class="text" onclick="changeMark(33); (parent.att[3].indexOf('f') > -1) ? parent.att[3] = '' : parent.att[3] = 'fit'; parent.loadPicture(2, keepArea); return false;" onmouseover="overItem(33)" onmouseout="awayItem(33)"><img id="mark33" src="buttons/nomark.gif" border="0">Fit&nbsp;GIFs</a></center></div>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
92
254fca7a21ce First import of client module
robcast
parents:
diff changeset
93
254fca7a21ce First import of client module
robcast
parents:
diff changeset
94 <script language="Javascript">
254fca7a21ce First import of client module
robcast
parents:
diff changeset
95 // initial background color of the menues (has to be done like this,
254fca7a21ce First import of client module
robcast
parents:
diff changeset
96 // otherwise menues in ns4 you will have wrong dimensions)
254fca7a21ce First import of client module
robcast
parents:
diff changeset
97 changeBc("menu1", "#666666");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
98 changeBc("menu2", "#666666");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
99 changeBc("menu3", "#666666");
254fca7a21ce First import of client module
robcast
parents:
diff changeset
100
254fca7a21ce First import of client module
robcast
parents:
diff changeset
101 // launch the initial check of att[3] (fit gifs) and change to the correct mark
254fca7a21ce First import of client module
robcast
parents:
diff changeset
102 checkAtt3();
254fca7a21ce First import of client module
robcast
parents:
diff changeset
103 </script>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
104 </body>
254fca7a21ce First import of client module
robcast
parents:
diff changeset
105 </html>