panel.workspace
Module for [Workspace] class
Types 3
Methods
WorkspaceGidBuilder builder()Get builder for [panel.workspace.Workspace] Returns: New builder objectpanel.workspace.Workspace findFromWidget(gtk.widget.Widget widget)Finds the workspace that contains widget.void actionSetEnabled(string actionName, bool enabled)string getId()panel.workbench.Workbench getWorkbench()Gets the #PanelWorkbench self is a part of. Returns: a #PanelWorkbench, or nullpanel.inhibitor.Inhibitor inhibit(gtk.types.ApplicationInhibitFlags flags, string reason)Inhibits one or more particular actions in the session.void setId(string id)Methods
T id(string propval)Set `id` property. Params: propval = The "id" of the workspace.