public interface Sizeable
Modifier and Type | Method and Description |
---|---|
decimal |
getHeightChars()
Get HEIGHT-CHARS attribute value.
|
integer |
getHeightPixels()
Queries the HEIGHT-PIXELS attribute of this widget.
|
decimal |
getWidthChars()
Get the WIDTH-CHARS Progress attribute.
|
integer |
getWidthPixels()
Queries the WIDTH-PIXELS attribute of this widget.
|
void |
setHeightChars(double heightChars)
Setting the HEIGHT-CHARS Progress attribute.
|
void |
setHeightChars(NumberType heightChars)
Setting the HEIGHT-CHARS Progress attribute.
|
void |
setHeightPixels(int widthPixels)
Sets new value of HEIGHT-PIXELS attribute.
|
void |
setHeightPixels(NumberType widthPixels)
Sets new value of HEIGHT-PIXELS attribute.
|
void |
setWidthChars(double widthChars)
Set the WIDTH-CHARS Progress attribute.
|
void |
setWidthChars(NumberType widthChars)
Set the WIDTH-CHARS Progress attribute.
|
void |
setWidthPixels(int widthPixels)
Sets new value of WIDTH-PIXELS attribute.
|
void |
setWidthPixels(NumberType widthPixels)
Sets new value of WIDTH-PIXELS attribute.
|
integer getWidthPixels()
void setWidthPixels(NumberType widthPixels)
widthPixels
- new value of WIDTH-PIXELS attributevoid setWidthPixels(int widthPixels)
widthPixels
- new value of WIDTH-PIXELS attributeinteger getHeightPixels()
void setHeightPixels(NumberType widthPixels)
widthPixels
- new value of HEIGHT-PIXELS attributevoid setHeightPixels(int widthPixels)
widthPixels
- new value of HEIGHT-PIXELS attributedecimal getWidthChars()
void setWidthChars(double widthChars)
widthChars
- The integer value for the new WIDTH-CHARS value.void setWidthChars(NumberType widthChars)
widthChars
- The integer value for the new WIDTH-CHARS value.decimal getHeightChars()
void setHeightChars(double heightChars)
heightChars
- The integer value for the new HEIGHT-CHARS value.void setHeightChars(NumberType heightChars)
heightChars
- The integer value for the new HEIGHT-CHARS value.