BusyCursor — Sets the mouse cursor to the busy cursor
void
BusyCursor
( | void) ; |
Sets the mouse cursor to the busy cursor, 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.