[
next
] [
prev
] [
prev-tail
] [
tail
] [
up
]
6.12
Customizing the IDE
The IDE is con gurable in a wide range: Colors can be changed, screen resolution. The con guration setting can 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
Mouse
6.12.5
Colors
[
next
] [
prev
] [
prev-tail
] [
front
] [
up
]