workspace_group_destroyed


Description:

public signal void workspace_group_destroyed (WorkspaceGroup group)

Emitted when a workspace group is destroyed.

Parameters:

group

the recently-destroyed WorkspaceGroup.