UI::NormalCursor — Sets the mouse cursor to the normal cursor
void
NormalCursor
( | void) ; |
Sets the mouse cursor to the normal cursor ( after BusyCursor ), if the UI supports such a feature.
This should normally not be necessary. The UI handles mouse cursors itself: When input is possible (i.e. inside UserInput() ), there is automatically a normal cursor, otherwise, there is the busy cursor. Override this at your own risk.