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

Made fix compatible with future versions if Opera decides not to fix the issue for Opera 12

svn changeset:16786/svn branch:6.5

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

@@ -249,6 +249,14 @@ public class BrowserInfo {
         return browserDetails.getBrowserMajorVersion();
     }
 
+    public float getOperaVersion() {
+        if (!browserDetails.isOpera()) {
+            return -1;
+        }
+
+        return browserDetails.getBrowserMajorVersion();
+    }
+
     public boolean isOpera() {
         return browserDetails.isOpera();
     }

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

@@ -585,7 +585,7 @@ public class Util {
         // Add max version if fix lands sometime to Webkit
         // Starting from Opera 11.00, also a problem in Opera
         if (BrowserInfo.get().getWebkitVersion() > 0
-                || (BrowserInfo.get().isOpera11())) {
+                || BrowserInfo.get().getOperaVersion() >= 11) {
             final String originalOverflow = elem.getStyle().getProperty(
                     "overflow");
             if ("hidden".equals(originalOverflow)) {