From: Leif Åstrand <leif@vaadin.com>
Date: Thu, 16 Feb 2012 08:04:00 +0000 (+0200)
Subject: Use required size instead of offset size (#8313)
X-Git-Tag: 7.0.0.alpha2~434^2~41
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=be3b7fd92af290da5692082e186b622d59614e72;p=vaadin-framework.git

Use required size instead of offset size (#8313)

Consistency with 6.x is otherwise broken in some cases where the
bounding rectangle gets rounded
---

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<Element, int[]> entry : dependencySizes.entrySet()) {