--- a/src/js/widgets.js	Fri Oct 28 17:28:15 2011 +0200
+++ b/src/js/widgets.js	Wed Nov 02 10:58:34 2011 +0100
@@ -20,11 +20,17 @@
      this.width = config.width;     
   }
   
-  if (config.hasOwnProperty("height")) {
-     // this.width and not this._width because we consider it public.
+  if (config.hasOwnProperty("height")) {    
      this.height = config.height;     
   }
   
+  if (config.hasOwnProperty("heightmax")) {
+     this.heightmax = config.heightmax;     
+  }
+
+  if (config.hasOwnProperty("widthmax")) {
+     this.widthmax = config.widthmax;     
+  }
   
 };