Package org.erlide.ui.util

Examples of org.erlide.ui.util.OverlayPreferenceStore$OverlayKey

49
50
51
52
53
54
55
    };

    public DefaultErlangFoldingPreferenceBlock() {
        fStore = ErlideUIPlugin.getDefault().getPreferenceStore();
        fKeys = createKeys();
        fOverlayStore = new OverlayPreferenceStore(fStore, fKeys);
    }
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
     * @see org.eclipse.ui.IWorkbenchPreferencePage#init(org.eclipse.ui.IWorkbench)
     */
    @Override
    public void init(final IWorkbench workbench) {
        fColorManager = new ColorManager();
        fOverlayStore = new OverlayPreferenceStore(ErlideUIPlugin.getDefault()
                .getPreferenceStore(), new OverlayPreferenceStore.OverlayKey[] {});
        fOverlayStore.addKeys(createOverlayStoreKeys());
        fOverlayStore.load();
        fOverlayStore.start();

View Full Code Here
23
24
25
26
27
28
29
30
31
     * Creates a new preference page.
     */
    public AbstractConfigurationBlockPreferencePage() {
        setDescription();
        setPreferenceStore();
        fOverlayStore = new OverlayPreferenceStore(getPreferenceStore(),
                new OverlayPreferenceStore.OverlayKey[] {});
        fConfigurationBlock = createConfigurationBlock(fOverlayStore);
    }
View Full Code Here
TOP

Related Classes of org.erlide.ui.util.OverlayPreferenceStore$OverlayKey

  • org.eclipse.jface.preference.PreferenceStore
  • org.eclipse.jface.util.IPropertyChangeListener
  • org.erlide.ui.editors.erl.folding.AbstractConfigurationBlockPreferencePage
  • org.erlide.ui.internal.folding.DefaultErlangFoldingPreferenceBlock
  • org.erlide.ui.prefs.plugin.ColoringPreferencePage
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.