# HG changeset patch
# User robcast
# Date 1097522257 -7200
# Node ID 8dfbf0f29443ffa64bc9d34c93a896c0587db52d
# Parent  fd77250e0268c427eecfe30eaa15f1652a1c3b12
nicer ImageSize.toString()

diff -r fd77250e0268 -r 8dfbf0f29443 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;
+	}
 }