active_workspace_changed
Description:
public signal void active_workspace_changed (
Workspace? previously_active_workspace)
Emitted when the active workspace of group changes.
Parameters:
| previously_active_workspace |
the previously active Workspace, or null.
|