# HG changeset patch
# User robcast
# Date 1178972614 -7200
# Node ID 611c1cb13db8aad2ab768dd82a7d3d16ddf23c0b
# Parent  7ef10557a8190c74b65c9d3219cda6abae998017
Servlet version 1.16.1
- now with absolute scaling: mo=ascale&scale=X
- reworked scale factor and resolution selection so that absolute scale can use prescaled images (osize can do that too)

ASSIGNED - # 23: display thumbnails with absolute scaling
https://itgroup.mpiwg-berlin.mpg.de:8080/tracs/cdli/ticket/23

diff -r 7ef10557a819 -r 611c1cb13db8 servlet/src/digilib/image/ImageSize.java
--- a/servlet/src/digilib/image/ImageSize.java	Fri May 11 09:33:46 2007 +0200
+++ b/servlet/src/digilib/image/ImageSize.java	Sat May 12 14:23:34 2007 +0200
@@ -210,6 +210,16 @@
 		return (height > 0) ? ((float) width / (float) height) : 0;
 	}
 	
+	/**
+	 * Returns a scaled copy of this image size. 
+	 * 
+	 * @param scale
+	 * @return
+	 */
+	public ImageSize getScaled(float scale) {
+		return new ImageSize((int) (width * scale), (int) (height * scale));
+	}
+	
 	/* (non-Javadoc)
 	 * @see java.lang.Object#toString()
 	 */