group_changed


Description:

public signal void group_changed (WorkspaceGroup previous_group)

Emitted when workspace is assigned to an WorkspaceGroup.

Parameters:

previous_group

the group workspace was previously in, or null.