# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1309263792 -7200
# Node ID ad0696615768571a47dc5247c45928575f344dd3
# Parent  db435e82197d737a1c9adff5431e8f875e069d1c
browser side: bottomBorderWidget size fix (for webkit)

diff -r db435e82197d -r ad0696615768 browser_side/panels.py
--- 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):