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.