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