Preference pages

Once a plug-in has contributed extensions to the workbench user interface, it is common for the plug-in to allow the user to control some of the behavior of the plug-in through user preferences.

The platform UI provides support for storing plug-in preferences and showing them to the user on pages in the workbench Preferences dialog. Plug-in preferences are key/value pairs, where the key describes the name of the preference, and the value is one of several different types. (See Runtime preferences for a detailed description of the runtime preferences infrastructure.)

How does a plug-in contribute a page for showing its preferences? We will use the readme tool example to see how it contributes a preference page to the workbench and then look at some of the underlying support for building preference pages.