diff browser_side/panels.py @ 97:3cbbe5c05aa5

browser side: widgets' setting: height detection fix
author Goffi <goffi@goffi.org>
date Tue, 28 Jun 2011 13:37:02 +0200
parents d7a4bbaddfb0
children ad0696615768
line wrap: on
line diff
--- 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%')