Source position: gnomewinhints.inc line 68
function gnome_win_hints_get_workspace(
window: PGtkWidget
):gint;