- 17.01 (latest) ...
Some of the features of the EiffelStudio editor can be customized. This section of the documentation contains the necessary explanations to use the editor preferences. In addition to a description of general preferences for the editor, you will find a document about user-definable keyboard shortcuts and a preferences for Eiffel specific preferences such as automatic completion.
- Parent <Interface>
- General Editor Preferences
- Eiffel Editor Preferences
- Keyboard shortcuts preferences