Source position: gnomewinhints.inc line 69
procedure gnome_win_hints_set_current_workspace(
workspace: gint
);