Workspaces Tool Widget - techtalk/SpecLog-Resources GitHub Wiki
The workspaces widget provides access to the following functions for workspaces in SpecLog:
- List and filter workspaces (Ctrl+F)
- Open existing workspaces, either by double-clicking or from the workspace's menu
- Rename workspaces from the workspace's menu
- Duplicate workspaces from the workspace's menu
- Add new workspaces from the widget's menu
- Delete the selected workspaces from the widget's menu