A user preference is a stored configuration option that persists between different Eclipse runtimes. Preferences are simple values (such as int
, String
, and boolean
) and are identified with a String
key, typically associated with the plug-in's identifier. Preferences
can also be edited via a standard preference panel, contributed through an extension point.
They can also be imported and exported from an Eclipse workbench by navigating to File | Import/Export | Preferences, and saved with an epf
extension (short for Eclipse Preference File).