| |
|
| com.jeta.forms.store.properties.JETAProperty com.jeta.forms.store.properties.BorderProperty com.jeta.forms.store.properties.EmptyBorderProperty
EmptyBorderProperty | public class EmptyBorderProperty extends BorderProperty (Code) | | An EmptyBorderProperty represents an empty border for a
component. An empty border is used to add padding around the top, left,
bottom, or right sides of a component. See:
javax.swing.border.EmptyBorder author: Jeff Tassin |
Constructor Summary | |
public | EmptyBorderProperty() Creates an EmptyBorderProperty instance with no padding
values. | public | EmptyBorderProperty(int top, int left, int bottom, int right) Creates an EmptyBorderProperty instance with the specified
padding values. |
VERSION | final public static int VERSION(Code) | | |
serialVersionUID | final static long serialVersionUID(Code) | | |
EmptyBorderProperty | public EmptyBorderProperty()(Code) | | Creates an EmptyBorderProperty instance with no padding
values.
|
EmptyBorderProperty | public EmptyBorderProperty(int top, int left, int bottom, int right)(Code) | | Creates an EmptyBorderProperty instance with the specified
padding values.
Parameters: top - the padding in pixels for the top of this border. Parameters: left - the padding in pixels for the left side of this border. Parameters: bottom - the padding in pixels for the bottom of this border. Parameters: right - the padding in pixels for the right side of this border. |
createBorder | public Border createBorder(Component comp)(Code) | | Creates an EmptyBorder instance with the padding values
specified by this property.
a newly created EmptyBorder instance that can be set on any Swingcomponent. |
getBottom | public int getBottom()(Code) | | Returns the bottom padding in pixels for this border.
the bottom padding in pixels. |
getLeft | public int getLeft()(Code) | | Returns the left padding in pixels for this border.
the left padding in pixels. |
getRight | public int getRight()(Code) | | Returns the right padding in pixels for this border.
the right padding in pixels |
getTop | public int getTop()(Code) | | Returns the top padding in pixels for this border.
the top padding in pixels |
setValue | public void setValue(Object prop)(Code) | | Sets this property to that of another EmptyBorderProperty .
Parameters: prop - the property |
Fields inherited from com.jeta.forms.store.properties.JETAProperty | final public static int VERSION(Code)(Java Doc) final static long serialVersionUID(Code)(Java Doc)
|
|
|
|