From: Leif Åstrand <leif@vaadin.com>
Date: Fri, 2 Mar 2012 12:53:58 +0000 (+0200)
Subject: Measure inner height as it isn't affected by margins (#8313)
X-Git-Tag: 7.0.0.alpha2~393
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=447c23c9e1981111db12148dc03f13019bd49c0b;p=vaadin-framework.git

Measure inner height as it isn't affected by margins (#8313)
---

diff --git a/src/com/vaadin/terminal/gwt/client/ui/PanelConnector.java b/src/com/vaadin/terminal/gwt/client/ui/PanelConnector.java
index 8673ffd93e..d5ed3fcaf3 100644
--- a/src/com/vaadin/terminal/gwt/client/ui/PanelConnector.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/PanelConnector.java
@@ -192,8 +192,8 @@ public class PanelConnector extends AbstractComponentContainerConnector
         }
 
         LayoutManager layoutManager = getLayoutManager();
-        int top = layoutManager.getOuterHeight(panel.captionNode);
-        int bottom = layoutManager.getOuterHeight(panel.bottomDecoration);
+        int top = layoutManager.getInnerHeight(panel.captionNode);
+        int bottom = layoutManager.getInnerHeight(panel.bottomDecoration);
 
         Style style = panel.getElement().getStyle();
         panel.captionNode.getStyle().setMarginTop(-top, Unit.PX);