--- a/src/js/widgets.js	Wed Apr 18 18:58:44 2012 +0200
+++ b/src/js/widgets.js	Thu Apr 19 19:20:41 2012 +0200
@@ -34,6 +34,10 @@
        _this[_key] = _value;
     });
     
+    if (typeof this.width === "undefined") {
+        this.width = player.config.gui.width;
+    }
+    
     /* Setting this.player at the end in case it's been overriden
      * by a configuration option of the same name :-(
      */