Xfw.WorkspaceManager.workspace_destroyed – libxfce4windowing-0 Reference Manual
Packages
libxfce4windowing-0
Xfw
WorkspaceManager
screen
list_workspace_groups
list_workspaces
workspace_created
workspace_destroyed
workspace_group_created
workspace_group_destroyed
workspace_destroyed
Description:
public
signal
void
workspace_destroyed
(
Workspace
workspace)
Emitted when a workspace is destroyed.
Parameters:
workspace
the workspace that was destroyed.