workspace_destroyed


Description:

public virtual signal void workspace_destroyed (Workspace space)

Emitted when a Workspace is destroyed on screen.

Parameters:

space

the workspace that has been destroyed.




2022 vala-language.org