PHP-GTK Manual
This manual is provided as a courtesy. It is not an official source. Please check gtk.php.net for updated information.
Sets the mouse cursor used in that window. The parameter is omitted, the cursor is reset to the default pointer.
Example 62. Setting the cursor
$cursor = gdk::cursor_new(150); //GDK_WATCH $window = $mainWindow->window; //GdkWindow $window->set_cursor($cursor);