Source position: gnomewinhints.inc line 67
procedure gnome_win_hints_set_workspace(
window: PGtkWidget;
workspace: gint
);