Workspace Files

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 circumstances:

• Editor is terminated
• Another Workspace is selected in the user interface
• Script execution is started

See Also
Workspaces, Workspace Content, Understanding Workspaces, New Workspace Wizard, Options