Editor Preferences

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.