NormalCursor — Sets the mouse cursor to the normal cursor
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.