Package org.infai.emo.matcher.editor.preferences

Class Summary
GraphicalPreferencesPage This is the preferences-page for the graphical settings of the plug-in.
PrefernceInitializer This class initializes the preferences for this plug-in with default-values.
PrimaryPreferencesPage This class is the primary preferences-page for the ModelMatcher.