Property
PanelWorkspace:id
since: 1.4
Description [src]
The “id” of the workspace.
This is generally used by applications to help destinguish between types of workspaces, particularly when saving session state.
Type:gchar*
Available since: 1.4
| Default value | NULL |
| Getter method | panel_workspace_get_id() |
| Setter method | panel_workspace_set_id() |