state_changed

Description:

public signal void state_changed (WorkspaceState changed_mask, WorkspaceState new_state)

Emitted when workspace's state changes.

changed_mask	a bitfield representing the state bits that have changed.
new_state	a bitfield of the new state.