public interface WidgetExtension
Modifier and Type | Method and Description |
---|---|
character |
getMouseIcon()
Gets a mouse icon for this control.
|
integer |
getMousePointerNum()
Gets the type of mouse pointer displayed when over part of an object.
|
void |
refreshUI()
Forces a complete repaint of a form or control.
|
void |
setMouseIcon(character value)
Sets a custom mouse icon for this control.
|
void |
setMouseIcon(java.lang.String value)
Sets a custom mouse icon.
|
void |
setMousePointerNum(int value)
Sets the type of mouse pointer displayed when over part of an object.
|
void |
setMousePointerNum(integer value)
Sets the type of mouse pointer displayed when over part of an object.
|
integer getMousePointerNum()
void setMousePointerNum(integer value)
value
- new mouse pointervoid setMousePointerNum(int value)
value
- new mouse pointercharacter getMouseIcon()
void setMouseIcon(character value)
value
- The user defined mouse iconvoid setMouseIcon(java.lang.String value)
value
- user defined mouse iconvoid refreshUI()