Gdk.AppLaunchContext.set_desktop Reference Manual
Gdk.AppLaunchContext.set_desktop:
Description:
public
void
set_desktop (
int
desktop)
created by
valadoc