|
1
|
1 <html>
|
|
|
2 <head>
|
|
|
3 <style type="text/css">
|
|
|
4 body { margin: 3px; background-color: #f0f0f0 }
|
|
|
5 .menu {position:absolute; visibility:hidden}
|
|
|
6 img { border: none }
|
|
|
7
|
|
|
8 .item1 {position:absolute; left:33; width:50; height:14; clip:rect(0,50,14,0); visibility:hidden}
|
|
|
9 .item2 {position:absolute; left:43; width:40; height:14; clip:rect(0,40,14,0); visibility:hidden}
|
|
|
10 .item3 {position:absolute; left:3; width:80; height:14; clip:rect(0,80,14,0); visibility:hidden}
|
|
|
11 .logo { margin-left: 5px; margin-top: 10px; }
|
|
|
12
|
|
|
13 .text {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10px; color: #FFFFFF; text-decoration: none}
|
|
|
14 </style>
|
|
|
15 <script language="JavaScript" src="../oldskin/buttons/menu.js"></script>
|
|
|
16
|
|
|
17 <script language="JavaScript">
|
|
|
18 // because on a netscape 4.xx bug (messing up with layers on resize) we cache the window
|
|
|
19 // resize event and redisplay the navigation frame
|
|
|
20 if (document.layers && !document.getElementById) {
|
|
|
21 window.onresize = function() {parent.rightFrame.location.reload();}
|
|
|
22 }
|
|
|
23
|
|
|
24 /**
|
|
|
25 * overriding 'page' in navigation.js
|
|
|
26 */
|
|
|
27 function page(page, details) {
|
|
|
28
|
|
|
29 var pn = parseInt(parent.mainFrame.getParameter("pn"));
|
|
|
30 var pt = parseInt(parent.mainFrame.getParameter("pt"));
|
|
|
31
|
|
|
32 if ( details == null ) {
|
|
|
33 details = 1;
|
|
|
34 }
|
|
|
35
|
|
|
36 if ( page && page.indexOf('-') == 0 ) {
|
|
|
37 if ( pn > 1 ) {
|
|
|
38 page = Math.max(pn - parseInt(page.slice(1)), 1);
|
|
|
39 parent.mainFrame.setParameter("pn", page);
|
|
|
40 display(details);
|
|
|
41 } else {
|
|
|
42 alert("You are already on the first page!");
|
|
|
43 }
|
|
|
44
|
|
|
45 } else if ( page && page.indexOf('+') == 0 ) {
|
|
|
46 if ( pn < pt ) {
|
|
|
47 page = Math.min(pn + parseInt(page.slice(1)), pt);
|
|
|
48 parent.mainFrame.setParameter("pn", page);
|
|
|
49 display(details);
|
|
|
50 } else {
|
|
|
51 alert("You are already on the last page!");
|
|
|
52 }
|
|
|
53 } else if ( page && page == parseInt(page) ) {
|
|
|
54 if ( (page > 0) && (page <= pt) ) {
|
|
|
55 parent.mainFrame.setParameter("pn", page);
|
|
|
56 display(details);
|
|
|
57 } else {
|
|
|
58 alert ("Illegal page number (should be 1 - " + pt + ")!");
|
|
|
59 }
|
|
|
60 }
|
|
|
61 }
|
|
|
62
|
|
|
63 /*
|
|
|
64 * new display function to refresh the pagesTotal frame
|
|
|
65 */
|
|
|
66
|
|
|
67 function display(detail) {
|
|
|
68 parent.pageFrame.show();
|
|
|
69 parent.mainFrame.display(detail);
|
|
|
70 }
|
|
|
71
|
|
|
72
|
|
|
73 function askPage() {
|
|
|
74 do {
|
|
|
75 p = prompt("Goto Page:", 1);
|
|
|
76 } while ((p != null) && (p < 1));
|
|
|
77 page(p);
|
|
|
78 }
|
|
|
79
|
|
|
80 function showRef(select) {
|
|
|
81 var hyperlinkRef = parent.mainFrame.baseUrl + "/digilib.jsp?";
|
|
|
82 hyperlinkRef += parent.mainFrame.getAllParameters();
|
|
|
83 if ( select == 0 ) {
|
|
|
84 prompt("Link for LaTeX-documents", "\\href{" + hyperlinkRef + "}{TEXT}");
|
|
|
85 } else if ( select == 1 ) {
|
|
|
86 prompt("Link for HTML-documents", hyperlinkRef);
|
|
|
87 }
|
|
|
88 }
|
|
|
89
|
|
|
90 function setSize(size) {
|
|
|
91 parent.mainFrame.setParameter('ws', size);
|
|
|
92 display();
|
|
|
93 }
|
|
|
94
|
|
|
95 function digicat() {
|
|
|
96 var fn = parent.mainFrame.getParameter("fn");
|
|
|
97 var pn = parent.mainFrame.getParameter("pn");
|
|
|
98 var url = parent.mainFrame.baseUrl + "/digicat.jsp?fn=" + fn + "&pn=" + pn;
|
|
|
99 win = window.open(url, "digicat");
|
|
|
100 win.focus();
|
|
|
101 }
|
|
|
102
|
|
|
103 // boolean variable to either show or not show the additional help
|
|
|
104 // change in the menuitem its original mark
|
|
|
105 var showHelp = false;
|
|
|
106
|
|
|
107 // variable to tell if while changing to another page it should keep the area
|
|
|
108 // change in the menuitem its original mark (1 = false, 2 = true)
|
|
|
109 var keepArea = 2;
|
|
|
110
|
|
|
111
|
|
|
112 // variable that store the texts for contexthelp
|
|
|
113 var helpText = new Array();
|
|
|
114
|
|
|
115 helpText[0] = "'back'-button|Click on this button to load the previous image (usually the next page from a manuscript).";
|
|
|
116 helpText[1] = "'next'-button|Click on this button to load the next image (usually the next page from a manuscript).";
|
|
|
117 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.";
|
|
|
118 helpText[3] = "'digicat'-button|Click here to open a new window containing thumbnails of the current series pages to navigate.";
|
|
|
119 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.";
|
|
|
120 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.";
|
|
|
121 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.";
|
|
|
122 helpText[7] = "'zoom in'-button|Clicking on 'zoom in' zooms in around the current center.";
|
|
|
123 helpText[8] = "'zoom out'-button|Clicking on 'zoom out' zooms out around the current center.";
|
|
|
124 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.";
|
|
|
125 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.";
|
|
|
126 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.";
|
|
|
127
|
|
|
128 </script>
|
|
|
129 </head>
|
|
|
130
|
|
|
131 <body onload="preloadImages()" onunload="closeContextHelp()">
|
|
|
132
|
|
|
133 <a href="javascript:page('-1', keepArea)" onmouseover="highlightButton(1)" onmouseout="awayButton(0)"><img src="left.png" title="next image"></a><br>
|
|
|
134 <a href="javascript:page('+1', keepArea)" onmouseover="overButton(1)" onmouseout="awayButton(1)"><img src="right.png" title="previous image"></a><br>
|
|
|
135 <a href="javascript:askPage()" onmouseover="overButton(2)" onmouseout="awayButton(2)"><img src="page.png" title="select image by index"></a><br>
|
|
|
136 <a href="javascript:digicat()" onmouseover="overButton(3)" onmouseout="awayButton(3)"><img src="cat.png" title="image catalogue"></a><br><br>
|
|
|
137 <a href="javascript:parent.mainFrame.setMark(false);" onmouseover="overButton(4)" onmouseout="awayButton(4)"><img src="mark.png" title="set a mark"></a><br>
|
|
|
138 <a href="javascript:hideMenu(); showMenu(1)" onmouseover="overButton(5)" onmouseout="awayButton(5)"><img src="reference.png" title="get an URL to this view"></a><br><br>
|
|
|
139 <a href="javascript:parent.mainFrame.zoomArea()" onmouseover="overButton(6)" onmouseout="awayButton(6)"><img src="zoom-area.png" title="zoom to selected area"></a><br>
|
|
|
140 <a href="javascript:parent.mainFrame.zoomBy(1.4142)" onmouseover="overButton(7)" onmouseout="awayButton(7)"><img src="zoom-in.png" title="zoom in"></a><br>
|
|
|
141 <a href="javascript:parent.mainFrame.zoomBy(0.7071)" onmouseover="overButton(8)" onmouseout="awayButton(8)"><img src="zoom-out.png" title="zoom out"></a><br>
|
|
|
142 <a href="javascript:parent.mainFrame.zoomFullpage()" onmouseover="overButton(9)" onmouseout="awayButton(9)"><img src="zoom-full.png" title="full image"></a><br><br>
|
|
|
143 <a href="javascript:hideMenu(); showMenu(2)" onmouseover="overButton(10)" onmouseout="awayButton(10)"><img src="size.png" title="set image size"></a><br><br>
|
|
|
144 <a href="javascript:hideMenu(); showMenu(3)" onmouseover="overButton(11)" onmouseout="awayButton(11)"><img src="buttons/questionmark0.gif" ></a><br><br>
|
|
|
145
|
|
|
146 <div id="menu1" class="menu" style="top:201; left:31; width:54; height:33; clip:rect(0,54,33,0)"></div>
|
|
|
147 <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>
|
|
|
148 <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>
|
|
|
149
|
|
|
150 <div id="menu2" class="menu" style="top:379; left:41; width:44; height:93; clip:rect(0,44,93,0)"></div>
|
|
|
151 <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>
|
|
|
152 <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>
|
|
|
153 <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>
|
|
|
154 <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>
|
|
|
155 <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>
|
|
|
156 <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>
|
|
|
157
|
|
|
158 <div id="menu3" class="menu" style="top:430; left:1; width:84; height:33; clip:rect(0,84,33,0)"></div>
|
|
|
159 <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" >Contexthelp</a></center></div>
|
|
|
160 <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" >Keep area</a></center></div>
|
|
|
161 <div id="logo" class="logo">
|
|
|
162 <a href="http://digilib.berlios.de" target="_blank" >
|
|
|
163 <img src="../img/digilib-logo-text1.png" title="digilib"></img>
|
|
|
164 </a>
|
|
|
165 </div>
|
|
|
166
|
|
|
167 <script language="Javascript">
|
|
|
168 // initial background color of the menues (has to be done like this,
|
|
|
169 // otherwise menues in ns4 you will have wrong dimensions)
|
|
|
170 changeBc("menu1", "#666666");
|
|
|
171 changeBc("menu2", "#666666");
|
|
|
172 changeBc("menu3", "#666666");
|
|
|
173 </script>
|
|
|
174 </body>
|
|
|
175 </html>
|
