| Online Eiffel Documentation

EiffelStudio

# Preference window overview

The preferences dialog window is divided into two parts (plus a button bar at the bottom).

The left part is used to display a tree that shows preference categories. A description of the contents of this tree, i.e. the different categories of preferences and preferences themselves, is available here.

The right part shows the preferences attached to the currently selected tree node. They appear in a table that has four columns. The first one contains the name of the preference, the second one contains its type, the third one shows if it is modified from its predefined default, and the last one one contains its value. To modify this value, select the preference by clicking on it. A floating widget appears on top of the preference value to let you change it.

The floating widget depends on the type of the preference that is modified. There are four kinds of preferences:

- Boolean preferences : their possible values are "True" and "False". A combo box will allow you to choose between both.
- Color preferences : Their value is represented by three integers, which are the RGB code of the color. You do not have to use RGB codes though. When you double-click such a preference a color chooser dialog will display, allowing you to change the color value.
- Font preferences : A font selection window will appear if you double-click the value label.
- Other preferences : They will be modified by typing their value directly into an editable text field.

If there is no message stating you need to restart EiffelStudio, changes will be taken into account immediately.

Tip: Sub-categories and their contents are not displayed in the right area. To see the preferences that belong to a sub-category, you have to select it in the left part of the window.

Caution: You can restore preferences default values by clicking on the "Restore Default" button. ALL preferences will be reset.