# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1309261022 -7200
# Node ID 3cbbe5c05aa5935c8625b964cb751319c68eea33
# Parent  d7a4bbaddfb0192eb23375ad313ec1c1a87f246b
browser side: widgets' setting: height detection fix

diff -r d7a4bbaddfb0 -r 3cbbe5c05aa5 browser_side/panels.py
--- a/browser_side/panels.py	Tue Jun 28 13:31:05 2011 +0200
+++ b/browser_side/panels.py	Tue Jun 28 13:37:02 2011 +0200
@@ -206,6 +206,11 @@
             width=int(width_str[:-2])
         else:
             width = 0
+        height_str = self.getHeight()
+        if height_str.endswith('px'):
+            height=int(height_str[:-2])
+        else:
+            height = 0
         def onWidthChange(value):
             if not value:
                 self.setWidth('100%')