3.1. GNATbench PreferencesΒΆ

GNATbench allows the user to control a number of behaviors and presentation formats. This section introduces and summarizes the preferences providing those controls.

Most of these preferences are described in detail in the other sections specific to the preference (e.g., automatic indentation is discussed in the Editing section).

In all cases these preferences are initially accessed via the “Window” menu entry and the “Preferences” submenu entry that brings up the preferences dialog box.

invoking preferences