# HG changeset patch
# User robcast
# Date 1097522257 -7200
# Node ID 7a89d105f526d8d0791586545fb8f9104c5e0d20
# Parent  85a0abfa1b8c3194192914294ab1013468996e9a
nicer ImageSize.toString()

diff -r 85a0abfa1b8c -r 7a89d105f526 servlet/src/digilib/image/ImageSize.java
--- a/servlet/src/digilib/image/ImageSize.java	Mon Oct 11 21:17:37 2004 +0200
+++ b/servlet/src/digilib/image/ImageSize.java	Mon Oct 11 21:17:37 2004 +0200
@@ -209,4 +209,13 @@
 	public double getAspect() {
 		return (height > 0) ? ((double) width / (double) height) : 0;
 	}
+	
+	/* (non-Javadoc)
+	 * @see java.lang.Object#toString()
+	 */
+	public String toString() {
+		String s = "[" + width + "x" + height + "]";
+		// TODO Auto-generated method stub
+		return s;
+	}
 }