From be3b7fd92af290da5692082e186b622d59614e72 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Leif=20=C3=85strand?= Date: Thu, 16 Feb 2012 10:04:00 +0200 Subject: [PATCH] Use required size instead of offset size (#8313) Consistency with 6.x is otherwise broken in some cases where the bounding rectangle gets rounded --- src/com/vaadin/terminal/gwt/client/MeasuredSize.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/com/vaadin/terminal/gwt/client/MeasuredSize.java b/src/com/vaadin/terminal/gwt/client/MeasuredSize.java index 93642df7ec..ddd408a132 100644 --- a/src/com/vaadin/terminal/gwt/client/MeasuredSize.java +++ b/src/com/vaadin/terminal/gwt/client/MeasuredSize.java @@ -196,13 +196,13 @@ public final class MeasuredSize { } this.borders = borders; - int offsetHeight = widget.getOffsetHeight(); + int requiredHeight = Util.getRequiredHeight(widget); int marginHeight = sumHeights(margins); - setOuterHeight(offsetHeight + marginHeight); + setOuterHeight(requiredHeight + marginHeight); - int offsetWidth = widget.getOffsetWidth(); + int requiredWidth = Util.getRequiredWidth(widget); int marginWidth = sumWidths(margins); - setOuterWidth(offsetWidth + marginWidth); + setOuterWidth(requiredWidth + marginWidth); // int i = 0; for (Entry entry : dependencySizes.entrySet()) { -- 2.39.5