workspace_created


Description:

public signal void workspace_created (Workspace workspace)

Emitted when a new workspace is created.

Parameters:

workspace

the newly-created workspace.