Package org.eclipse.emf.edapt.history.preferences.ui
-
Class Summary Class Description HistoryPreferencePage Top-level preference page for the Edapt history management.ResourcePreferences Manager of preferences for resources by URI. -
Enum Summary Enum Description PromptKind An enumeration of preference values for a prompting preference.