PreferencesInitializer.java example

Explorer
erlide-master
/*******************************************************************************
 * Copyright (c) 2004 Eric Merritt and others.
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *     Eric Merritt
 *******************************************************************************/
package org.erlide.ui.prefs;

import static org.erlide.ui.prefs.PreferenceConstants.DEFAULT_PRINT_MARGIN;
import static org.erlide.ui.prefs.PreferenceConstants.EDITOR_FOLDING_CLAUSES;
import static org.erlide.ui.prefs.PreferenceConstants.EDITOR_FOLDING_COMMENTS;
import static org.erlide.ui.prefs.PreferenceConstants.EDITOR_FOLDING_ENABLED;
import static org.erlide.ui.prefs.PreferenceConstants.EDITOR_FOLDING_HEADER_COMMENTS;
import static org.erlide.ui.prefs.PreferenceConstants.EDITOR_FOLDING_PROVIDER;
import static org.erlide.ui.prefs.PreferenceConstants.EDITOR_MATCHING_BRACKETS;
import static org.erlide.ui.prefs.PreferenceConstants.EDITOR_MATCHING_BRACKETS_COLOR;
import static org.erlide.ui.prefs.PreferenceConstants.PRINT_MARGIN;

import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.preference.PreferenceConverter;
import org.eclipse.swt.graphics.RGB;
import org.erlide.ui.internal.ErlideUIPlugin;

/**
 *
 * @author Eric Merritt [cyberlync at gmail dot com]
 */
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);
    }
}