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 8673ffd93e9b2ea167509eee22ad04d7048a00af..d5ed3fcaf37a208a2fda7b5bcd065b57a2e4a32c 100644 (file)
--- 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);