From: Artur Signell <artur.signell@itmill.com>
Date: Tue, 13 Oct 2009 06:08:26 +0000 (+0000)
Subject: Merged: Fix for #3519 - Table height miscalculated in IE7
X-Git-Tag: 6.7.0.beta1~2413
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=f792ad4c8144e6f83a91afc977f095f50aab121f;p=vaadin-framework.git

Merged: Fix for #3519 - Table height miscalculated in IE7

svn changeset:9174/svn branch:6.2
---

diff --git a/src/com/vaadin/terminal/gwt/client/ui/VScrollTable.java b/src/com/vaadin/terminal/gwt/client/ui/VScrollTable.java
index e35d8993a4..8da166f1e5 100644
--- a/src/com/vaadin/terminal/gwt/client/ui/VScrollTable.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/VScrollTable.java
@@ -2835,12 +2835,19 @@ public class VScrollTable extends FlowPanel implements Table, ScrollHandler {
      */
     private int getContentAreaBorderHeight() {
         if (contentAreaBorderHeight < 0) {
-            DOM.setStyleAttribute(bodyContainer.getElement(), "overflow",
-                    "hidden");
-            contentAreaBorderHeight = bodyContainer.getOffsetHeight()
-                    - bodyContainer.getElement().getPropertyInt("clientHeight");
-            DOM.setStyleAttribute(bodyContainer.getElement(), "overflow",
-                    "auto");
+            if (BrowserInfo.get().isIE7()) {
+                contentAreaBorderHeight = Util
+                        .measureVerticalBorder(bodyContainer.getElement());
+            } else {
+                DOM.setStyleAttribute(bodyContainer.getElement(), "overflow",
+                        "hidden");
+                int oh = bodyContainer.getOffsetHeight();
+                int ch = bodyContainer.getElement().getPropertyInt(
+                        "clientHeight");
+                contentAreaBorderHeight = oh - ch;
+                DOM.setStyleAttribute(bodyContainer.getElement(), "overflow",
+                        "auto");
+            }
         }
         return contentAreaBorderHeight;
     }