We use cookies to serve our customers and website visitors in the best possible way. Cookies are used for the proper functioning of the website and for improving the user experience, monitoring visitor traffic and marketing purposes. By continuing to browse the site, you agree to our use of cookies. You can read more about cookies here.
com.vaadin.terminal.gwt.client.ui.layout.
Class Margins
java.lang.Object
com.vaadin.terminal.gwt.client.ui.layout.Margins
- extends Object
public class Margins
Constructor Summary | |
---|---|
Margins(int marginTop,
int marginBottom,
int marginLeft,
int marginRight)
|
Method Summary | |
---|---|
int |
getHorizontal()
|
int |
getMarginBottom()
|
int |
getMarginLeft()
|
int |
getMarginRight()
|
int |
getMarginTop()
|
int |
getVertical()
|
void |
setMarginBottom(int marginBottom)
|
void |
setMarginLeft(int marginLeft)
|
void |
setMarginRight(int marginRight)
|
void |
setMarginTop(int marginTop)
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
Margins
public Margins(int marginTop,
int marginBottom,
int marginLeft,
int marginRight)
Method Detail |
---|
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()