comparison browser_side/panels.py @ 187:d0503f8f15ef

browser side: scroller added to contacts panel
author Goffi <goffi@goffi.org>
date Sun, 03 Mar 2013 17:37:43 +0100
parents 72bb1d845b6a
children 39936b83da9d
comparison
equal deleted inserted replaced
186:72bb1d845b6a 187:d0503f8f15ef
1034 if not _elts.length: 1034 if not _elts.length:
1035 print ("ERROR: no TabBar found, it should exist !") 1035 print ("ERROR: no TabBar found, it should exist !")
1036 tab_bar_h = 0 1036 tab_bar_h = 0
1037 else: 1037 else:
1038 tab_bar_h = _elts.item(0).offsetHeight 1038 tab_bar_h = _elts.item(0).offsetHeight
1039 ideal_height = Window.getClientHeight() - DOM.getAbsoluteTop(tab_panel_elt) - tab_bar_h - 5 1039 ideal_height = height - DOM.getAbsoluteTop(tab_panel_elt) - tab_bar_h - 5
1040 ideal_width = width - DOM.getAbsoluteLeft(tab_panel_elt) - 5 1040 ideal_width = width - DOM.getAbsoluteLeft(tab_panel_elt) - 5
1041 self.setWidth("%s%s" % (ideal_width, "px")); 1041 self.setWidth("%s%s" % (ideal_width, "px"));
1042 self.setHeight("%s%s" % (ideal_height, "px")); 1042 self.setHeight("%s%s" % (ideal_height, "px"));
1043 1043
1044 def add(self, widget, tabText=None, asHTML=False): 1044 def add(self, widget, tabText=None, asHTML=False):