# HG changeset patch
# User hertzhaft
# Date 1136908108 -3600
# Node ID 85aef29cc1daff22dddcbdc51ecda63e5191e7a4
# Parent  65219f4fcf6b30f11ef32956b510ac3cd46f5729
sizes menu;
button separators;
switched off debug window

diff -r 65219f4fcf6b -r 85aef29cc1da client/digitallibrary/greyskin/diginew.css
--- a/client/digitallibrary/greyskin/diginew.css	Tue Jan 10 12:28:57 2006 +0100
+++ b/client/digitallibrary/greyskin/diginew.css	Tue Jan 10 16:48:28 2006 +0100
@@ -75,6 +75,11 @@
 	padding: 0px;
 	}
 
+div.separator {
+	margin-bottom: 4px;
+	border-top: 2px solid lightgrey;
+	}
+
 div.mark {
 	position: absolute;
 	color: white;
@@ -167,6 +172,33 @@
 	font-weight: bold;
 	}
 
+div#sizes {
+	position: absolute;
+	top: 100px;
+	right: 40px;
+	padding: 0px 2px;
+	font-family: Verdana, Arial, Helvetica, sans-serif;
+	border: 3px solid lightcyan;
+	background-color: lightgrey;
+	text-align: center;
+	visibility: hidden;
+	z-index: 1005;
+	}
+
+div#sizes p {
+	margin: 2px;
+	}
+
+div#sizes p:hover {
+	background-color: black;
+	}
+
+div#sizes a {
+	text-decoration: none;
+	font-weight: bold;
+	color: lightcyan;
+	}
+
 div#about {
 	position: absolute;
 	width: 200px;
@@ -201,6 +233,7 @@
 	color: lightgreen;
 	border: 1px dotted black;
 	background-color: transparent;
+	visibility: hidden;
 	}
 
 div#debug p.debug, h1 {
diff -r 65219f4fcf6b -r 85aef29cc1da client/digitallibrary/greyskin/diginew.jsp
--- a/client/digitallibrary/greyskin/diginew.jsp	Tue Jan 10 12:28:57 2006 +0100
+++ b/client/digitallibrary/greyskin/diginew.jsp	Tue Jan 10 16:48:28 2006 +0100
@@ -46,7 +46,7 @@
 
 	<script language="JavaScript">
 
-	var jspVersion = "diginew.jsp 1.009";
+	var jspVersion = "diginew.jsp 1.011";
 	var cookie = new Cookie();
 	// alert(strObject(cookie));
 
@@ -163,23 +163,34 @@
 	</div>
  </div>
 
+ <!-- the size menu -->
+ <div id="sizes">
+	<p><a href="javascript:resize(1)">1</a></p>
+	<p><a href="javascript:resize(1.41)">1.41</a></p>
+	<p><a href="javascript:resize(2)">2</a></p>
+	<p><a href="javascript:resize(3)">3</a></p>
+ </div>
+
  <!-- the buttons -->
  <div id="buttons">
+	<div class="separator">
+	</div>
+
 	<div class="button">
 		<a
 			class="icon"
-			href="javascript:toggleBirdDiv()"
+			href="javascript:getRefWin()"
 			>
 
 			<img
 				class="png"
-				id="bird"
-				title="show bird's eye view"
-				src="birds-eye.png"
+				id="reference"
+				title="get a reference URL"
+				src="reference.png"
 			>
-		</a>
+		</a> 
 	</div>
-
+	
 	<div class="button">
 		<a
 			class="icon"
@@ -258,6 +269,21 @@
 	<div class="button">
 		<a
 			class="icon"
+			href="javascript:sizeMenu()"
+			>
+
+			<img
+				class="png"
+				id="size"
+				title="resize page"
+				src="size.png"
+			>
+		</a>
+	</div>
+	
+	<div class="button">
+		<a
+			class="icon"
 			href="javascript:gotoPage('-1')"
 			>
 
@@ -303,18 +329,21 @@
 	<div class="button">
 		<a
 			class="icon"
-			href="javascript:getRefWin()"
+			href="javascript:toggleBirdDiv()"
 			>
 
 			<img
 				class="png"
-				id="reference"
-				title="get a reference URL"
-				src="reference.png"
+				id="bird"
+				title="show bird's eye view"
+				src="birds-eye.png"
 			>
-		</a> 
+		</a>
 	</div>
 	
+	<div class="separator">
+	</div>
+
 	<div class="button">
 		<a
 			class="icon"
@@ -345,11 +374,16 @@
 		</a>
 	</div>
 
+	<div class="separator">
+	</div>
 </div>
 
 <!-- options div -->
 
 <div id="dloptions">
+	<div class="separator">
+	</div>
+
 	<div class="button">
 		<a
 			class="icon"
@@ -473,21 +507,6 @@
 	<div class="button">
 		<a
 			class="icon"
-			href="javascript:setParamWin('size', '...')"
-			>
-
-			<img
-				class="png"
-				id="size"
-				title="resize page"
-				src="size.png"
-			>
-		</a>
-	</div>
-	
-	<div class="button">
-		<a
-			class="icon"
 			href="javascript:setQualityWin('Quality (0..2)')"
 			>
 
@@ -560,6 +579,9 @@
 		</a>
 	</div>
 
+	<div class="separator">
+	</div>
+
 	<div class="button">
 		<a
 			class="icon"
@@ -574,6 +596,10 @@
 			>
 		</a>
 	</div>
+
+	<div class="separator">
+	</div>
+
 </div>
 
 <div class="debug" id="debug"><p class="debug">Debug</p></div>
diff -r 65219f4fcf6b -r 85aef29cc1da client/digitallibrary/greyskin/dllib.js
--- a/client/digitallibrary/greyskin/dllib.js	Tue Jan 10 12:28:57 2006 +0100
+++ b/client/digitallibrary/greyskin/dllib.js	Tue Jan 10 16:48:28 2006 +0100
@@ -24,7 +24,7 @@
 
 */
 digilibVersion = "Digilib NG";
-dllibVersion = "2.028";
+dllibVersion = "2.029";
 isDigilibInitialized = false;    // gets set to true in dl_param_init
 reloadPage = true; // reload the page when parameters are changed, otherwise update only "src" attribute of scaler img 
 
@@ -934,5 +934,18 @@
     addFlag("clip");
     display();
 }
+
+function resize(factor) {
+    setParameter("ws", factor);
+    display();
+    var menu = getElement("sizes");
+    showElement(menu, false);
+}
+
+function sizeMenu() {
+    var menu = getElement("sizes");
+    showElement(menu, true);
+}
+
 // :tabSize=4:indentSize=4:noTabs=true: