changeset 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 bd0ca532fdf9
files browser_side/panels.py
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
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%')