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()