Wnck.Screen.active_workspace_changed Reference Manual
Wnck.Screen.active_workspace_changed:
Description:
public
signal
void
active_workspace_changed (
Wnck.Workspace
previous_workspace)
created by
valadoc