MPS 2017.1 Help

General

File | Settings | Editor | General for Windows and Linux
MPS | Preferences | Editor | General for macOS
Ctrl+Alt+S
/help/img/idea/2017.1/settings.png


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

ItemDescription
Aspect tabsEach aspect specifies a part of the language qualities, like e.g. syntax, semantics, type-system, dataflow. These are defined for each concept individually. So when a user opens a concept declaration in the editor, the editor window will hold tabs at the bottom, each tab representing one aspect. The configuration setting specifies, how to show these tabs.
Font Name, Font Size, Line Spacing, Text Width, Indent SizeSpecify the formatting options: select the desired values from the drop-down lists.
Use BracesSelect this check box to show braces in the block cells of the editor.
Use AntialiasingSelect this check box to enable showing fonts without distortions.
Highlight nodes with changes relative to base versionIf this check box is selected, then for the files under version control, the added, or changed changed lines of source code are highlighted.

If this check box is not selected, the left editor gutter shows color markers denoting added, deleted, or changed lines. Refer to section Viewing Changes Information for details.

Power Save ModeSelect this check box to minimize power consumption of your computer on account of eliminating the background operations. When Power Save Mode is on, no inspections are performed.
Selection Background/ForegroundClick Choose to select the desired colors from the color picker, or type the values manually. Click Reset to return to the default values.
Caret Blinking RateUse the slider to make the caret blink with the specified period.

See Also

Last modified: 3 April 2017