Module Editor Preferences
There are currently two module-editor preferences:
Module editor right margin
This is the value that specifies the preferred right margin of modules.
Thus far, it is used in the following circumstances:
- When creating a new module.
- When executing a module-editor command for creating or editing a boxed comment.
The default value is column 77.
Clear declaration use markers when parsing
Controls whether or not the highlighting of symbol uses produced by
the Show Uses
command is cleared when the specification
is re-parsed.
On other preference pages
The General > Editors > Text Editors
preference page has
an options for numbering lines in module editors.
↑ Preferences