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.