diff browser_side/panels.py @ 101:ad0696615768

browser side: bottomBorderWidget size fix (for webkit)
author Goffi <goffi@goffi.org>
date Tue, 28 Jun 2011 14:23:12 +0200
parents 3cbbe5c05aa5
children 5c363b638127
line wrap: on
line diff
--- a/browser_side/panels.py	Tue Jun 28 13:56:20 2011 +0200
+++ b/browser_side/panels.py	Tue Jun 28 14:23:12 2011 +0200
@@ -728,7 +728,9 @@
         self.setStyleName('widgetsPanel')
         _bottom = BottomBorderWidget(self.host)
         self.flextable.setWidget(0, 0, _bottom) #There will be always an Empty widget on the last row,
-                                                                      #dropping a widget there will add a new row
+                                                #dropping a widget there will add a new row
+        td_elt = _bottom.getElement().parentNode
+        DOM.setStyleAttribute(td_elt, "height", "1px") #needed so the cell adapt to the size of the border (specially in webkit)
         self._max_cols = 1 #give the maximum number of columns i a raw
 
     def changeWidget(self, row, col, wid):