Class MarkOccurencesPreferences.Initializer

  • All Implemented Interfaces:
    org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer
    Enclosing class:
    MarkOccurencesPreferences

    public static class MarkOccurencesPreferences.Initializer
    extends Object
    implements org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer
    Preferences store initializer for mark occurrences
    • Constructor Detail

      • Initializer

        public Initializer()
    • Method Detail

      • initialize

        public void initialize​(org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreAccess access)
        Specified by:
        initialize in interface org.eclipse.xtext.ui.editor.preferences.IPreferenceStoreInitializer