MPS 2020.1 Help

General

Use the General page of the Settings/Preferences dialog to configure the editor behaviour and customize its view.

Item

Description

Aspect tabs

Each aspect specifies a part of the language qualities, for example, syntax, semantics, type-system, dataflow. These are defined for each concept individually. So when you open a concept declaration in the editor, the editor window will hold tabs at the bottom, each tab representing one aspect.

Font Name, Font Size, Line Spacing, Text Width, Indent Size

Specify the formatting options: select the desired values from the lists.

Use Braces

Select this checkbox to show braces in the block cells of the editor.

Use Antialiasing

Select this checkbox to enable showing fonts without distortions.

Power Save Mode

Select this checkbox to minimize power consumption of your computer on account of eliminating the background operations. When Power Save mode is on, no inspections are performed.

Caret Blinking Rate

Use the slider to make the caret blink with the specified period.

Automatically run reference resolve quick fixes

Select this checkbox to enable automatic resolving of broken or out-of-scope references.

Use completion styling

Select this checkbox to enable custom completion menu text styling and sorting.

Show context assistant

Select this checkbox to see a menu for invoking specific actions on a particular cell.

Two step deletion

Select this checkbox to enable showing part of the code fragment which will be deleted.

Last modified: 18 June 2020