You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Preferences
 Preferences Reference

 Topics:

 Interface
 Tools
 Editor Preferences
 Debugger Preferences
 Recent Project Preferences
 General Preferences