# Module Editor Preferences

## Module Editor Preferences Section

### 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.

## Renumber Proof Command Preferences Section

There are two options that are explained in the description of the Renumber Proof command in the Editing Proofs section of the Viewing and Editing Structured Proofs help page.

## On other preference pages

The `General > Editors > Text Editors` preference page has some settings that you may want to change. Among them is whether lines should be numbered in module editors.

↑ Preferences