set_cursor

Description:

public void set_cursor (Cursor? cursor)

Sets the cursor to be shown when the pointer hovers over the widget.

If the cursor is `NULL`, this will use the cursor inherited from its parent.

Parameters:

this

a widget
cursor

the new cursor