com.vaadin.terminal.gwt.client.ui.layout
Class Margins
java.lang.Object
com.vaadin.terminal.gwt.client.ui.layout.Margins
public class Margins
- extends Object
Constructor Summary |
Margins(int marginTop,
int marginBottom,
int marginLeft,
int marginRight)
|
Margins
public Margins(int marginTop,
int marginBottom,
int marginLeft,
int marginRight)
getMarginTop
public int getMarginTop()
getMarginBottom
public int getMarginBottom()
getMarginLeft
public int getMarginLeft()
getMarginRight
public int getMarginRight()
getHorizontal
public int getHorizontal()
getVertical
public int getVertical()
setMarginTop
public void setMarginTop(int marginTop)
setMarginBottom
public void setMarginBottom(int marginBottom)
setMarginLeft
public void setMarginLeft(int marginLeft)
setMarginRight
public void setMarginRight(int marginRight)
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2000-2011 Vaadin Ltd. All Rights Reserved.