The Workspace file has an
extension *.ws. The files are stored to a folder which is defined
in Options as Workspace files. The format of
the Workspace files is basically the same as for standard *.ini
files, however, it is recommended not to edit their content.
The file Default.ws is always
automatically created when it doesn't exist yet.
The user doesn't have to save the
Workspace files; the files are saved by Editor under these
- Editor is terminated
- Another Workspace is selected
in the user interface
- Script execution is started
Workspaces, Workspace Content, Understanding Workspaces, New Workspace Wizard, Options