changeset 220:09e4de9df5b7

browser side: enforced "gwt-MenuBar-horizontal" style in LiberviaMenuBar to workaround a class name fix in Pyjamas' MenuBar which was causing troubles with CSS.
author Goffi <goffi@goffi.org>
date Sat, 21 Sep 2013 15:37:29 +0200
parents 36673d19c87e
children f3898fbb00c3
files browser_side/menu.py public/libervia.css
diffstat 2 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/browser_side/menu.py	Sat Sep 21 14:58:21 2013 +0200
+++ b/browser_side/menu.py	Sat Sep 21 15:37:29 2013 +0200
@@ -58,6 +58,8 @@
 
     def __init__(self):
         MenuBar.__init__(self, vertical=False)
+        self.setStyleName('gwt-MenuBar-horizontal') # XXX: workaround for the Pyjamas' class name fix (it's now "gwt-MenuBar gwt-MenuBar-horizontal")
+                                                    # TODO: properly adapt CSS to the new class name
 
     def doItemAction(self, item, fireCommand):
         MenuBar.doItemAction(self, item, fireCommand)
--- a/public/libervia.css	Sat Sep 21 14:58:21 2013 +0200
+++ b/public/libervia.css	Sat Sep 21 15:37:29 2013 +0200
@@ -1121,4 +1121,4 @@
 
 a:hover.url {
     text-decoration: underline
-}
\ No newline at end of file
+}