workspace_changed
Description:
public virtual signal void workspace_changed ()
Emitted when the current workspace of window changes, or if window has been pinned or unpinned.
Emitted when the current workspace of window changes, or if window has been pinned or unpinned.