Use the General page of the Settings/Preferences dialog to configure the editor behaviour and customize its view.
Each 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 Size
Specify the formatting options: select the desired values from the drop-down lists.
Select this checkbox to show braces in the block cells of the editor.
Select this checkbox to enable showing fonts without distortions.
Highlight nodes with changes relative to base version
|If this checkbox is selected, then for the files under version control, the added, or changed changed lines of source code are highlighted. |
If this checkbox is not selected, the left editor gutter shows color markers denoting added, deleted, or changed lines. Refer to the View Changes Information section for details.
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.
Click 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 Rate
Use the slider to make the caret blink with the specified period.