annotate client/digitallibrary/greyskin/diginew.jsp @ 410:395db075906d

removed mark divs and images, they are added programmatically now; moved resetParameters() function to baselib.js; moved all initalization code to onload function; added "about" div with slots for version number display; added "overlay" div for better mousemove control (for "zoom area"); added "debug" div and script
author hertzhaft
date Tue, 13 Dec 2005 13:36:28 +0100
parents dbeb240fa170
children de7200c3a3e2
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
1 <%@ page language="java" %><%!
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
2 // -- JSP init -------------
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
3
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
4 // create DocumentBean instance for all JSP requests
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
5 digilib.servlet.DocumentBean docBean = new digilib.servlet.DocumentBean();
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
6
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
7 // initialize DocumentBean instance in JSP init
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
8 public void jspInit() {
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
9 try {
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
10 // set servlet init-parameter
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
11 docBean.setConfig(getServletConfig());
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
12 } catch (javax.servlet.ServletException e) {
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
13 System.out.println(e);
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
14 }
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
15 }
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
16 // -- end of JSP init -------------
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
17 %>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
18
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
19 <%
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
20 // -- JSP request -------------
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
21
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
22 // parsing the query
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
23 // -----------------
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
24 digilib.servlet.DigilibRequest dlRequest = new digilib.servlet.DigilibRequest(request);
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
25 docBean.setRequest(dlRequest);
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
26 // check if authentication is needed and redirect if necessary
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
27 docBean.doAuthentication(response);
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
28 // add number of pages
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
29 dlRequest.setValue("pt", docBean.getNumPages());
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
30 // store objects for jsp:include
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
31 pageContext.setAttribute("docBean", docBean, pageContext.REQUEST_SCOPE);
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
32 %>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
33
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
34 <html>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
35
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
36 <head>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
37 <title>Digital Document Library NG</title>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
38
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
39 <link rel="stylesheet" type="text/css" href="diginew.css" />
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
40
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
41 <script type="text/javascript" src="debug.js"></script>
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
42
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
43 <script type="text/javascript" src="baselib.js"></script>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
44
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
45 <script type="text/javascript" src="dllib.js"></script>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
46
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
47 <script language="JavaScript">
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
48
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
49 var isOptionDivVisible = false;
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
50 var isAboutDivVisible = false;
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
51 var dlTarget = window.name;
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
52 var baseUrl = '<%= dlRequest.getAsString("base.url") %>';
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
53 var toolbarEnabledURL = window.location.href;
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
54 var timeOut;
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
55
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
56 function toggleOptionDiv() {
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
57 isOptionDivVisible = !isOptionDivVisible;
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
58 showOptions(isOptionDivVisible);
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
59 }
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
60
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
61 function toggleAboutDiv() {
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
62 isAboutDivVisible = !isAboutDivVisible;
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
63 showAboutDiv(isAboutDivVisible);
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
64 }
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
65
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
66 function highlightPNG(id, on) {
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
67 var img = document.getElementById(id);
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
68 var a = img.parentNode
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
69 var div = a.parentNode;
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
70 var src = img.src;
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
71 // FIXME: IE - transparente PNGs offenbar nicht nachladbar
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
72
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
73 if (browserType.isIE)
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
74 img.style.filter = "progid:DXImageTransform.Microsoft.AlphaImageLoader(src='" + src + "');"
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
75 div.style.backgroundImage = on
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
76 ? "url('corona.png')"
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
77 : "";
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
78 }
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
79
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
80 // initialize image; called by body.onload
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
81 function onBodyLoaded() {
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
82 document.id = 'digilib';
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
83 resetParameters(); // set default values if not given
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
84 dl_param_init(); // parse parameter values
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
85 loadScalerImage();
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
86 dl_init();
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
87 }
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
88
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
89 // base_init(); // now done on loading baselib.js
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
90
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
91 </script>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
92 </head>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
93
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
94 <body onload="onBodyLoaded();">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
95
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
96 <!-- slot for the scaled image -->
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
97 <div id="scaler-table">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
98 <div id="scaler" style="visibility:visible">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
99 <img id="pic"></img>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
100 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
101 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
102
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
103 <!-- sensitive overlay for zoom area etc -->
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
104 <div id="overlay">
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
105 </div>
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
106
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
107 <!-- the zoom area selection rectangle -->
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
108 <div id="zoom">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
109 </div>
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
110
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
111 <div id="about" class="about" onclick="toggleAboutDiv()">
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
112 <p>Digilib Graphic Viewer</p>
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
113 <a href="http://digilib.berlios.de" target="_blank" >
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
114 <img class="logo" src="../img/digilib-logo-text1.png" title="digilib"></img>
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
115 </a>
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
116 <p id="digilib-version"></p>
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
117 <p id="baselib-version"></p>
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
118 <p id="dllib-version"></p>
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
119 </div>
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
120
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
121
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
122 <div id="buttons">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
123 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
124 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
125 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
126 href="javascript:getRefWin()"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
127 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
128
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
129 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
130 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
131 id="reference"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
132 title="get a reference URL"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
133 src="reference.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
134 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
135 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
136 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
137
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
138 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
139 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
140 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
141 href="javascript:zoomBy(1.4)"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
142 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
143
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
144 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
145 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
146 id="zoom-in"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
147 title="zoom in"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
148 src="zoom-in.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
149 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
150 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
151 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
152
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
153 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
154 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
155 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
156 href="javascript:zoomBy(0.7)"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
157 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
158
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
159 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
160 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
161 id="zoom-out"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
162 title="zoom out"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
163 src="zoom-out.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
164 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
165 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
166 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
167
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
168 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
169 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
170 class="icon"
401
dbeb240fa170 use css-only highlight on buttons
robcast
parents: 400
diff changeset
171 href="javascript:zoomArea()"
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
172 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
173
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
174 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
175 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
176 id="zoom-area"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
177 title="zoom area"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
178 src="zoom-area.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
179 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
180 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
181 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
182
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
183 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
184 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
185 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
186 href="javascript:zoomFullpage()"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
187 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
188
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
189 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
190 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
191 id="zoom-full"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
192 title="view the whole image"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
193 src="zoom-full.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
194 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
195 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
196 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
197
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
198 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
199 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
200 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
201 href="javascript:gotoPage('-1')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
202 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
203
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
204 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
205 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
206 id="back"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
207 title="goto previous image"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
208 src="back.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
209 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
210 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
211 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
212
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
213 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
214 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
215 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
216 href="javascript:gotoPage('+1')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
217 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
218
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
219 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
220 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
221 id="fwd"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
222 title="goto next image"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
223 src="fwd.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
224 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
225 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
226 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
227
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
228 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
229 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
230 class="icon"
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
231 href="javascript:toggleAboutDiv()"
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
232 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
233
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
234 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
235 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
236 id="help"
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
237 title="about Digilib"
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
238 src="help.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
239 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
240 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
241 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
242
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
243 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
244 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
245 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
246 href="javascript:toggleOptionDiv()"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
247 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
248
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
249 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
250 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
251 id="options"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
252 title="more options"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
253 src="options.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
254 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
255 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
256 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
257
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
258 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
259
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
260 <!-- options div -->
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
261
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
262 <div id="dloptions">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
263 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
264 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
265 class="icon"
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
266 href="javascript:setMark();"
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
267 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
268
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
269 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
270 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
271 id="mark"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
272 title="set a mark"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
273 src="mark.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
274 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
275 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
276 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
277
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
278 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
279 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
280 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
281 href="javascript:removeMark()"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
282 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
283
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
284 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
285 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
286 id="delmark"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
287 title="delete the last mark"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
288 src="delmark.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
289 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
290 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
291 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
292
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
293 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
294 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
295 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
296 href="javascript:mirror('h')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
297 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
298
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
299 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
300 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
301 id="mirror-h"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
302 title="mirror horizontally"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
303 src="mirror-horizontal.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
304 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
305 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
306 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
307
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
308 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
309 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
310 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
311 href="javascript:mirror('v')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
312 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
313
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
314 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
315 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
316 id="mirror-v"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
317 title="mirror vertically"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
318 src="mirror-vertical.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
319 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
320 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
321 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
322
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
323 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
324 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
325 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
326 href="javascript:setParamWin('rot', 'Rotate (0..360) clockwise')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
327 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
328
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
329 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
330 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
331 id="rotate"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
332 title="rotate image"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
333 src="rotate.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
334 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
335 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
336 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
337
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
338 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
339 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
340 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
341 href="javascript:setParamWin('brgt', 'Brightness (-255..255)')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
342 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
343
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
344 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
345 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
346 id="brightness"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
347 title="set brightness"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
348 src="brightness.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
349 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
350 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
351 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
352
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
353 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
354 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
355 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
356 href="javascript:setParamWin('cont', 'Contrast (0..8)')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
357 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
358
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
359 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
360 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
361 id="contrast"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
362 title="set contrast"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
363 src="contrast.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
364 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
365 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
366 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
367
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
368 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
369 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
370 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
371 href="javascript:setParamWin('rgb', '...')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
372 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
373
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
374 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
375 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
376 id="rgb"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
377 title="set rgb values"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
378 src="rgb.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
379 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
380 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
381 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
382
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
383 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
384 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
385 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
386 href="javascript:setParamWin('size', '...')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
387 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
388
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
389 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
390 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
391 id="size"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
392 title="resize page"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
393 src="size.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
394 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
395 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
396 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
397
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
398 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
399 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
400 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
401 href="javascript:setQualityWin('Quality (0..2)')"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
402 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
403
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
404 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
405 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
406 id="quality"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
407 title="set image quality"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
408 src="quality.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
409 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
410 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
411 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
412
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
413 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
414 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
415 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
416 href="javascript:gotoPageWin()"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
417 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
418
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
419 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
420 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
421 id="page"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
422 title="specify image"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
423 src="page.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
424 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
425 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
426 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
427
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
428 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
429 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
430 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
431 href="javascript:pixelByPixel()"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
432 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
433
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
434 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
435 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
436 id="pixel-by-pixel"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
437 title="view image pixel by pixel"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
438 src="pixel-by-pixel.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
439 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
440 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
441 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
442
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
443 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
444 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
445 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
446 href="javascript:originalSize()"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
447 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
448
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
449 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
450 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
451 id="original-size"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
452 title="view image in original size"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
453 src="original-size.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
454 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
455 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
456 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
457
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
458 <div class="button">
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
459 <a
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
460 class="icon"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
461 href="javascript:toggleOptionDiv()"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
462 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
463
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
464 <img
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
465 class="png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
466 id="options-1"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
467 title="hide options"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
468 src="options.png"
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
469 >
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
470 </a>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
471 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
472 </div>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
473
410
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
474 <div class="debug" id="debug"><p class="debug">Debug</p></div>
395db075906d removed mark divs and images, they are added programmatically now;
hertzhaft
parents: 401
diff changeset
475
400
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
476 </body>
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
477
be66c85821ff simplyfications
hertzhaft
parents:
diff changeset
478 </html>