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.