active_workspace_changed
Description:
public virtual signal void active_workspace_changed (
Workspace previous_workspace)
Emitted when the active workspace on screen has changed.
Parameters:
| previously_active_space |
the previously active Workspace before this change.
|