set_cursor


Description:

public void set_cursor (Cursor? cursor)

Sets the cursor to be shown when pointer devices point towards this.

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

Parameters:

this

a Widget

cursor

the new cursor or null to use the default cursor