#6807 Applied IE6/IE8 fix to IE9 aswell

svn changeset:18205/svn branch:6.6

diff --git a/src/com/vaadin/terminal/gwt/client/Util.java b/src/com/vaadin/terminal/gwt/client/Util.java
index ec30a25d409eacb19be59125bc9e81d033a3f9bd..e6819efc448a7f7418c9c52460dd1220e31d785d 100644 (file)
--- a/src/com/vaadin/terminal/gwt/client/Util.java
+++ b/src/com/vaadin/terminal/gwt/client/Util.java
@@ -348,14 +348,14 @@ public class Util {
 
     public static int measureHorizontalBorder(Element element) {
         int borders;
-        // element.getClientWidth();
+
         if (BrowserInfo.get().isIE()) {
             String width = element.getStyle().getProperty("width");
             String height = element.getStyle().getProperty("height");
 
             int offsetWidth = element.getOffsetWidth();
             int offsetHeight = element.getOffsetHeight();
-            if (BrowserInfo.get().isIE6() || BrowserInfo.get().isIE8()) {
+            if (!BrowserInfo.get().isIE7()) {
                 if (offsetHeight < 1) {
                     offsetHeight = 1;
                 }
@@ -369,7 +369,7 @@ public class Util {
             borders = element.getOffsetWidth() - element.getClientWidth();
 
             element.getStyle().setProperty("width", width);
-            if (BrowserInfo.get().isIE6() || BrowserInfo.get().isIE8()) {
+            if (!BrowserInfo.get().isIE7()) {
                 element.getStyle().setProperty("height", height);
             }
         } else {