6.12 Customizing the IDE

The IDE is configurable over a wide range of parameters: colors can be changed, screen resolution. The configuration settings can be reached via the sub-menu Environment in the Options menu.

6.12.1 Preferences
6.12.2 The desktop
6.12.3 The Editor
6.12.4 Keyboard & Mouse