Package org.eclipse.jface.preference

Examples of org.eclipse.jface.preference.IPreferenceStore


        return DebugUITools.getPreferenceStore();
    }

    @Override
    public void run() {
        final IPreferenceStore store = getPreferenceStore();
        final boolean show = isChecked();
        store.removePropertyChangeListener(this);
        store.setValue(getKey(), show);
        store.addPropertyChangeListener(this);
    }
View Full Code Here


            ErlLogger.error(e);
        }
    }

    private void initializePreferences() {
        final IPreferenceStore store = ErlideUIPlugin.getDefault().getPreferenceStore();
        fAllowCollapsing = store.getBoolean(PreferenceConstants.EDITOR_FOLDING_ENABLED);
        fCollapseClauses = store.getBoolean(PreferenceConstants.EDITOR_FOLDING_CLAUSES);
        fCollapseHeaderComments = store
                .getBoolean(PreferenceConstants.EDITOR_FOLDING_HEADER_COMMENTS);
        fCollapseComments = store.getBoolean(PreferenceConstants.EDITOR_FOLDING_COMMENTS);
        fCollapseTypespecs = store
                .getBoolean(PreferenceConstants.EDITOR_FOLDING_TYPESPECS);
    }
View Full Code Here

    public EdocConfigurationPropertyPage() {
    }

    @Override
    protected IPreferenceStore doGetPreferenceStore() {
        final IPreferenceStore store = ErlideUIPlugin.getDefault().getPreferenceStore();
        store.addPropertyChangeListener(this);
        return store;
    }
View Full Code Here

*/
public class PreferencesInitializer extends AbstractPreferenceInitializer {

    @Override
    public void initializeDefaultPreferences() {
        final IPreferenceStore store = ErlideUIPlugin.getDefault().getPreferenceStore();

        store.setDefault(PRINT_MARGIN, DEFAULT_PRINT_MARGIN);

        store.setDefault(EDITOR_MATCHING_BRACKETS, true);
        PreferenceConverter.setDefault(store, EDITOR_MATCHING_BRACKETS_COLOR, new RGB(
                190, 140, 190));

        // folding
        store.setDefault(EDITOR_FOLDING_ENABLED, true);
        store.setDefault(EDITOR_FOLDING_PROVIDER,
                "org.erlide.ui.editors.defaultFoldingProvider");
        store.setDefault(EDITOR_FOLDING_HEADER_COMMENTS, true);
        store.setDefault(EDITOR_FOLDING_COMMENTS, false);
        store.setDefault(EDITOR_FOLDING_CLAUSES, false);
    }
View Full Code Here

            setDocumentProvider(new ErlFileDocumentProvider());
        } else {
            setDocumentProvider(new TextFileDocumentProvider());
        }

        final IPreferenceStore store = getErlangEditorPreferenceStore();
        setPreferenceStore(store);

        final ErlangSourceViewerConfiguration cfg = new EditorConfiguration(
                getPreferenceStore(), this, colorManager);
        setSourceViewerConfiguration(cfg);
View Full Code Here

                getPreferenceStore(), this, colorManager);
        setSourceViewerConfiguration(cfg);
    }

    public static IPreferenceStore getErlangEditorPreferenceStore() {
        final IPreferenceStore generalTextStore = EditorsUI.getPreferenceStore();
        return new ChainedPreferenceStore(new IPreferenceStore[] {
                ErlideUIPlugin.getDefault().getPreferenceStore(), generalTextStore });
    }
View Full Code Here

     * @return <code>true</code> if this is a target, <code>false</code>
     *         otherwise
     * @since 3.0
     */
    public boolean isNavigationTarget(final Annotation annotation) {
        final IPreferenceStore preferences = EditorsUI.getPreferenceStore();
        final AnnotationPreference preference = annotationPreferenceLookup
                .getAnnotationPreference(annotation);
        final String key = preference == null ? null : preference
                .getIsGoToNextNavigationTargetKey();
        return key != null && preferences.getBoolean(key);
    }
View Full Code Here

            }
        } else {
            colors = colors0;
        }

        final IPreferenceStore generalTextStore = EditorsUI.getPreferenceStore();
        final IPreferenceStore store = topStore == null ? new ChainedPreferenceStore(
                new IPreferenceStore[] { generalTextStore })
                : new ChainedPreferenceStore(new IPreferenceStore[] { topStore,
                        generalTextStore });

        final SourceViewer viewer = new SourceViewer(parent, null, null, false,
View Full Code Here

    // "orelse", "end", "fun", "if", "let", "of", "query", "receive",
    // "when", "bnot", "not", "div", "rem", "band", "and", "bor", "bxor",
    // "bsl", "bsr", "or", "xor", "spec", });

    protected TextAttribute getTextAttribute(final TokenHighlight th) {
        final IPreferenceStore store = ErlideUIPlugin.getDefault().getPreferenceStore();
        final HighlightStyle data = th.getStyle(store);
        // load from prefsstore
        return new TextAttribute(fColorManager.getColor(data.getColor()), null,
                data.getStyles());
    }
View Full Code Here

  /**
   * @generated
   */
  public void initializeDefaultPreferences() {
    IPreferenceStore store = getPreferenceStore();
    OntoUML.diagram.preferences.DiagramPrintingPreferencePage
        .initDefaults(store);
    OntoUML.diagram.preferences.DiagramGeneralPreferencePage
        .initDefaults(store);
    OntoUML.diagram.preferences.DiagramAppearancePreferencePage
View Full Code Here

TOP

Related Classes of org.eclipse.jface.preference.IPreferenceStore

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.