|
Menu Options
Options... - Displays a dialog
with global options. These settings are valid for all Workspaces.
The settings are loaded when Editor is started and saved when it
is terminated. For more details check the chapter Options.
See Also
Main
Menu, Main Window, Options, User Interface
|