From 447c23c9e1981111db12148dc03f13019bd49c0b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Leif=20=C3=85strand?= Date: Fri, 2 Mar 2012 14:53:58 +0200 Subject: [PATCH] Measure inner height as it isn't affected by margins (#8313) --- src/com/vaadin/terminal/gwt/client/ui/PanelConnector.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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); -- 2.39.5