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