Fixed GWT 1.7.0 incompatible code

svn changeset:10304/svn branch:6.2

diff --git a/src/com/vaadin/terminal/gwt/client/ui/VMenuBar.java b/src/com/vaadin/terminal/gwt/client/ui/VMenuBar.java
index e5b0c4e32b1d8201ad4eee0be374a6f5f8e1eee5..d985aa062657091778d7768b338923c9bde173e9 100644 (file)
--- a/src/com/vaadin/terminal/gwt/client/ui/VMenuBar.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/VMenuBar.java
@@ -519,8 +519,9 @@ public class VMenuBar extends Widget implements Paintable,
             popup.getElement().getStyle().setProperty("zoom", "");
             DeferredCommand.addCommand(new Command() {
                 public void execute() {
-                    if (popup.getElement().getStyle().getWidth() == null
-                            || popup.getElement().getStyle().getWidth() == "") {
+                    if (popup.getElement().getStyle().getProperty("width") == null
+                            || popup.getElement().getStyle().getProperty(
+                                    "width") == "") {
                         popup.setWidth(popup.getOffsetWidth() + "px");
                     }
                     popup.getElement().getStyle().setProperty("zoom", "1");