EiffelStudio Preferences

Many of EiffelStudio's properties may be customized. A tool has been designed to help you set your preferences.
In this section, you will find a description of this tool. You will also find an explanation of the different properties that may be modified by using it.