# HG changeset patch # User Goffi # Date 1309371849 -7200 # Node ID 5c363b6381278f096cfa75c66b75fb524375de29 # Parent fad0e51cf5655d684f2b976dc4b5e8043f0d7e01 browser side: grouped header panel in a global Absolute panel diff -r fad0e51cf565 -r 5c363b638127 browser_side/panels.py --- a/browser_side/panels.py Wed Jun 29 02:37:45 2011 +0200 +++ b/browser_side/panels.py Wed Jun 29 20:24:09 2011 +0200 @@ -896,9 +896,12 @@ self.tab_panel.add(self.discuss_panel, "Discussions") self.tab_panel.selectTab(0) - self.add(menu) - self.add(unibox_panel) - self.add(status) + header=AbsolutePanel() + header.add(menu) + header.add(unibox_panel) + header.add(status) + header.setStyleName('header') + self.add(header) self.add(self.tab_panel) self.setWidth("100%")