com.vaadin.terminal.gwt.client
Class RenderSpace

java.lang.Object
  com.vaadin.terminal.gwt.client.RenderInformation.Size
      com.vaadin.terminal.gwt.client.RenderSpace

public class RenderSpace
extends RenderInformation.Size

Contains information about render area.

Constructor Summary

RenderSpace()

RenderSpace(int width, int height)

RenderSpace(int width, int height, boolean useNativeScrollbarSize)

Method Summary

int	getHeight() Returns pixels available vertically for contained widget, including possible scrollbars.
int	getScrollbarSize() In case containing block has oveflow: auto, this method must return number of pixels used by scrollbar.
int	getWidth() Returns pixels available horizontally for contained widget, including possible scrollbars.

Methods inherited from class com.vaadin.terminal.gwt.client.RenderInformation.Size

equals, hashCode, setHeight, setWidth, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

RenderSpace

public RenderSpace(int width,
                   int height)

RenderSpace

public RenderSpace()

RenderSpace

public RenderSpace(int width,
                   int height,
                   boolean useNativeScrollbarSize)

Method Detail

getHeight

public int getHeight()

Returns pixels available vertically for contained widget, including possible scrollbars.

Overrides:

getHeight in class RenderInformation.Size

getWidth

public int getWidth()

Returns pixels available horizontally for contained widget, including possible scrollbars.

Overrides:

getWidth in class RenderInformation.Size

getScrollbarSize

public int getScrollbarSize()

In case containing block has oveflow: auto, this method must return number of pixels used by scrollbar. Returning zero means either that no scrollbar will be visible.