workspace_removed


Description:

public signal void workspace_removed (Workspace workspace)

Emitted when workspace leaves group.

Parameters:

workspace

the Workspace removed from the group.