|
41
|
1 <html>
|
|
|
2 <head>
|
|
|
3 <style type="text/css">
|
|
|
4 .menu {position:absolute; visibility:hidden}
|
|
|
5
|
|
|
6 .item1 {position:absolute; left:33; width:50; height:14; clip:rect(0,50,14,0); visibility:hidden}
|
|
|
7 .item2 {position:absolute; left:43; width:40; height:14; clip:rect(0,40,14,0); visibility:hidden}
|
|
|
8 .item3 {position:absolute; left:3; width:80; height:14; clip:rect(0,80,14,0); visibility:hidden}
|
|
|
9
|
|
|
10 .text {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #FFFFFF; text-decoration: none}
|
|
|
11 </style>
|
|
|
12 <script language="JavaScript" src="buttons/menu.js"></script>
|
|
|
13 <script language="JavaScript">
|
|
|
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
|
|
|
16 if (document.layers && !document.getElementById) {
|
|
|
17 window.onresize = function() {parent.rightFrame.location.reload();}
|
|
|
18 }
|
|
|
19
|
|
|
20
|
|
|
21 // variable that store the texts for contexthelp
|
|
|
22 var helpText = new Array();
|
|
|
23
|
|
|
24 helpText[0] = "'back'-button|Click on this button to load the previous image (usually the next page from a manuscript).";
|
|
|
25 helpText[1] = "'next'-button|Click on this button to load the next image (usually the next page from a manuscript).";
|
|
|
26 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.";
|
|
|
27 helpText[3] = "'digicat'-button|Click here to open a new window containing thumbnails of the current series pages to navigate.";
|
|
|
28 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.";
|
|
|
29 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.";
|
|
|
30 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.";
|
|
|
31 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.";
|
|
|
32 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.";
|
|
|
33 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.";
|
|
|
34 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.";
|
|
50
|
35 //helpText[11] = "'make pdf'-button|You can make a PDF with several pictures from this directory in it. Click the button and follow the instructions.";
|
|
41
|
36 helpText[12] = "'?'-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.";
|
|
|
37
|
|
|
38
|
|
|
39 // boolean variable to eighter show or not show the additional help
|
|
|
40 // change in the menuitem its original mark
|
|
|
41 var showHelp = false;
|
|
|
42
|
|
|
43 // variable to tell if while changing to another page it should keep the area
|
|
|
44 // change in the menuitem its original mark
|
|
|
45 var keepArea = true;
|
|
|
46
|
|
|
47 // changes to the correct mark of menu33 (fit GIFs)
|
|
|
48 // I know it is not very nice to do it this way
|
|
|
49 function checkAtt3() {
|
|
|
50 if (parent.mainFrame && parent.mainFrame.att) {
|
|
|
51 if (parent.mainFrame.att.length >= 3) {
|
|
|
52 if (parent.mainFrame.att[3].indexOf('f') > -1) changeMark(33);
|
|
|
53 }
|
|
|
54 } else {
|
|
|
55 setTimeout("checkAtt3()", 100);
|
|
|
56 }
|
|
|
57 }
|
|
|
58
|
|
|
59 </script>
|
|
|
60 </head>
|
|
|
61
|
|
|
62 <body bgcolor="#CCCCCC" leftmargin="8" marginwidth="8" topmargin="5" marginheight="5" onload="preloadImages();" onunload="closeContextHelp()">
|
|
|
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="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="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="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="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="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="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="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="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="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="javascript:hideMenu(); showMenu(2)" onmouseover="overButton(10)" onmouseout="awayButton(10)"><img src="buttons/scale0.gif" width="73" height="30" border="0"></a><br><br>
|
|
50
|
74 <!--
|
|
41
|
75 <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>
|
|
50
|
76 -->
|
|
41
|
77 <a href="javascript:hideMenu(); showMenu(3)" onmouseover="overButton(12)" onmouseout="awayButton(12)"><img src="buttons/questionmark0.gif" width="73" height="30" border="0"></a>
|
|
|
78
|
|
50
|
79 <div id="menu1" class="menu" style="top:201; left:31; width:54; height:33; clip:rect(0,54,33,0)"></div>
|
|
|
80 <div id="menu11" class="item1" style="top:203"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.ref(0); return false;" onmouseover="overItem(11)" onmouseout="awayItem(11)">LaTeX</a></center></div>
|
|
|
81 <div id="menu12" class="item1" style="top:218"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.ref(1); return false;" onmouseover="overItem(12)" onmouseout="awayItem(12)">HTML</a></center></div>
|
|
41
|
82
|
|
50
|
83 <div id="menu2" class="menu" style="top:379; left:41; width:44; height:93; clip:rect(0,44,93,0)"></div>
|
|
|
84 <div id="menu21" class="item2" style="top:381"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.scale(0.7); return false;" onmouseover="overItem(21)" onmouseout="awayItem(21)">0.7</a></center></div>
|
|
|
85 <div id="menu22" class="item2" style="top:396"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.scale(1.0); return false;" onmouseover="overItem(22)" onmouseout="awayItem(22)">1.0</a></center></div>
|
|
|
86 <div id="menu23" class="item2" style="top:411"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.scale(1.5); return false;" onmouseover="overItem(23)" onmouseout="awayItem(23)">1.5</a></center></div>
|
|
|
87 <div id="menu24" class="item2" style="top:426"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.scale(2.0); return false;" onmouseover="overItem(24)" onmouseout="awayItem(24)">2.0</a></center></div>
|
|
|
88 <div id="menu25" class="item2" style="top:441"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.scale(2.5); return false;" onmouseover="overItem(25)" onmouseout="awayItem(25)">2.5</a></center></div>
|
|
|
89 <div id="menu26" class="item2" style="top:456"><center><a href="#" class="text" onClick="hideMenu(); parent.mainFrame.scale(3.0); return false;" onmouseover="overItem(26)" onmouseout="awayItem(26)">3.0</a></center></div>
|
|
41
|
90
|
|
50
|
91 <div id="menu3" class="menu" style="top:430; left:1; width:84; height:48; clip:rect(0,84,48,0)"></div>
|
|
|
92 <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>
|
|
|
93 <div id="menu32" class="item3" style="top:447"><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 area</a></center></div>
|
|
|
94 <div id="menu33" class="item3" style="top:462"><center><a href="#" class="text" onclick="changeMark(33); (parent.mainFrame.att[3].indexOf('f') > -1) ? parent.mainFrame.att[3] = '' : parent.mainFrame.att[3] = 'fit'; parent.mainFrame.loadPicture(2, keepArea); return false;" onmouseover="overItem(33)" onmouseout="awayItem(33)"><img id="mark33" src="buttons/nomark.gif" border="0">Fit GIFs</a></center></div>
|
|
41
|
95
|
|
|
96
|
|
|
97 <script language="Javascript">
|
|
|
98 // initial background color of the menues (has to be done like this,
|
|
|
99 // otherwise menues in ns4 you will have wrong dimensions)
|
|
|
100 changeBc("menu1", "#666666");
|
|
|
101 changeBc("menu2", "#666666");
|
|
|
102 changeBc("menu3", "#666666");
|
|
|
103
|
|
|
104 // launch the initial check of att[3] (fit gifs) and change to the correct mark
|
|
|
105 checkAtt3();
|
|
|
106 </script>
|
|
|
107 </body>
|
|
|
108 </html>
|
