You are in:

 Documentation Home
 Tools
 EiffelStudio
 EiffelStudio Reference
 Preferences
 Preferences Reference
 Editor Preferences

 Topics:

 Eiffel Editor Preferences
 Introduction
 Keyboard shortcuts preferences
 General Editor Preferences