# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1379770649 -7200
# Node ID 09e4de9df5b7491e4f0fd604ca51be6c7594c6ca
# Parent  36673d19c87e0dd5ba3ee91091a1105582c4ce46
browser side: enforced "gwt-MenuBar-horizontal" style in LiberviaMenuBar to workaround a class name fix in Pyjamas' MenuBar which was causing troubles with CSS.

diff -r 36673d19c87e -r 09e4de9df5b7 browser_side/menu.py
--- 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)
diff -r 36673d19c87e -r 09e4de9df5b7 public/libervia.css
--- 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
+}