# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1362276780 -3600
# Node ID 40adfd4ee4d7837b79cb2f685bcf479ab0c0339a
# Parent  97d5e9de1106adee132550049aff8ebb87a9baf1
browser side: fixed MainTabPanel size

diff -r 97d5e9de1106 -r 40adfd4ee4d7 browser_side/panels.py
--- a/browser_side/panels.py	Sun Mar 03 03:04:04 2013 +0100
+++ b/browser_side/panels.py	Sun Mar 03 03:13:00 2013 +0100
@@ -1026,7 +1026,7 @@
         else:
             tab_bar_h = _elts.item(0).offsetHeight
         ideal_height = Window.getClientHeight() - DOM.getAbsoluteTop(tab_panel_elt) - tab_bar_h - 5
-        ideal_width = width - self.host.contact_panel.getElement().offsetWidth - 5
+        ideal_width = width - DOM.getAbsoluteLeft(tab_panel_elt) - 5
         self.setWidth("%s%s" % (ideal_width, "px"));
         self.setHeight("%s%s" % (ideal_height, "px"));