public class RenderInformation extends Object
Modifier and Type | Class and Description |
---|---|
static class |
RenderInformation.FloatSize |
static class |
RenderInformation.Size |
Constructor and Description |
---|
RenderInformation() |
Modifier and Type | Method and Description |
---|---|
RenderSpace |
getContentAreaSize() |
RenderInformation.Size |
getRenderedSize() |
void |
setContentAreaHeight(int h) |
void |
setContentAreaWidth(int w) |
String |
toString() |
boolean |
updateSize(com.google.gwt.user.client.Element element)
Deprecated.
As of 7.2, call and override
updateSize(Element)
instead |
boolean |
updateSize(com.google.gwt.dom.client.Element element)
Update the size of the widget.
|
public void setContentAreaWidth(int w)
public void setContentAreaHeight(int h)
public RenderSpace getContentAreaSize()
public RenderInformation.Size getRenderedSize()
@Deprecated public boolean updateSize(com.google.gwt.user.client.Element element)
updateSize(Element)
insteadwidget
- public boolean updateSize(com.google.gwt.dom.client.Element element)
widget
- Copyright © 2019 Vaadin Ltd. All rights reserved.