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 `GtkWidget`

cursor

the new cursor