Changeset 16780 in svn

Timestamp:

01/04/11 09:39:55 (2 years ago)

Author:

artur.signell@…

Message:

#6227 Extra scrollbars in Window and other places in Opera 11

Location:

versions/6.5/src/com/vaadin/terminal/gwt/client

Files:

• BrowserInfo.java (modified) (1 diff)
• Util.java (modified) (1 diff)

versions/6.5/src/com/vaadin/terminal/gwt/client/BrowserInfo.java

@@ -254 +254 @@
     }
 
+    public boolean isOpera10() {
+        return browserDetails.isOpera()
+                && browserDetails.getBrowserMajorVersion() == 10;
+    }
+
+    public boolean isOpera11() {
+        return browserDetails.isOpera()
+                && browserDetails.getBrowserMajorVersion() == 11;
+    }
+
     public native static String getBrowserString()
     /*-{

versions/6.5/src/com/vaadin/terminal/gwt/client/Util.java

@@ -584 +584 @@
     public static void runWebkitOverflowAutoFix(final Element elem) {
         // Add max version if fix lands sometime to Webkit
-        if (BrowserInfo.get().getWebkitVersion() > 0) {
+        // Starting from Opera 11.00, also a problem in Opera
+        if (BrowserInfo.get().getWebkitVersion() > 0
+                || (BrowserInfo.get().isOpera11())) {
             final String originalOverflow = elem.getStyle().getProperty(
                     "overflow");