Mirrors/vaadin-framework
1
0
Fork 0
mirror of https://github.com/vaadin/framework.git synced 2024-09-13 15:46:01 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix for #2253 - Use getBoundingClientRect() for measuring elements when available.

Browse Source 
svn changeset:6090/svn branch:trunk
This commit is contained in:
Artur Signell 2008-12-05 10:34:30 +00:00
parent c0d846ba0a
commit 9a602ddcc7
1 changed files with 29 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
src/com/itmill/toolkit/terminal/gwt/client/ui/layout/ChildComponentContainer.java
View File

@ -189,8 +189,9 @@ public class ChildComponentContainer extends Panel {
* Widget wrapper includes margin which the widget offsetWidth/Height
* does not include
*/
int w = widgetDIV.getOffsetWidth();
int h = widgetDIV.getOffsetHeight();
int w = getRequiredWidth(widgetDIV);
int h = getRequiredHeight(widgetDIV);
widgetSize.setWidth(w);
widgetSize.setHeight(h);
@ -199,6 +200,32 @@ public class ChildComponentContainer extends Panel {
}
public static native int getRequiredWidth(
com.google.gwt.dom.client.Element element)
/*-{
var width;
if (element.getBoundingClientRect != null) {
var rect = element.getBoundingClientRect();
width = Math.ceil(rect.right - rect.left);
} else {
width = elem.offsetWidth;
}
return width;
}-*/;
public static native int getRequiredHeight(
com.google.gwt.dom.client.Element element)
/*-{
var height;
if (element.getBoundingClientRect != null) {
var rect = element.getBoundingClientRect();
height = Math.ceil(rect.bottom - rect.top);
} else {
height = elem.offsetHeight;
}
return height;
}-*/;
public void setMarginLeft(int marginLeft) {
containerMarginLeft = marginLeft;
getElement().getStyle().setPropertyPx("paddingLeft", marginLeft);