ca.uvic.chisel.javasketch.ui.internal.preferences.SketchPluginPreferenceInitializer.java Source code

Java tutorial

Introduction

Here is the source code for ca.uvic.chisel.javasketch.ui.internal.preferences.SketchPluginPreferenceInitializer.java

Source

/*******************************************************************************
 * Copyright (c) 2009 the CHISEL group and contributors.
 * 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:
 *     the CHISEL group - initial API and implementation
 *******************************************************************************/
package ca.uvic.chisel.javasketch.ui.internal.preferences;

import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
import org.eclipse.jface.preference.IPreferenceStore;

import ca.uvic.chisel.javasketch.SketchPlugin;
import ca.uvic.chisel.javasketch.ui.internal.SketchUI;

/**
 * Initializes the preferences for this plug-in
 * @author Del Myers
 *
 */
public class SketchPluginPreferenceInitializer extends AbstractPreferenceInitializer {

    /**
     * 
     */
    public SketchPluginPreferenceInitializer() {
    }

    /* (non-Javadoc)
     * @see org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences()
     */
    @Override
    public void initializeDefaultPreferences() {
        IPreferenceStore store = SketchPlugin.getDefault().getPreferenceStore();
        store.setDefault(ISketchPluginPreferences.COMPACT_LOOPS_PREFERENCE, true);
        store.setDefault(ISketchPluginPreferences.DISPLAY_GROUPS_PREFERENCE, true);
        store.setDefault(SketchUI.PREFERENCE_FILTER_PACKAGE_EXPLORER, true);
        //in previous versions, the package explorer filter was off by default
        //we want to turn it on.
        store.setDefault("preference.packageExplore.update", false);
        if (!store.getBoolean("preference.packageExplore.update")) {
            store.setValue("preference.packageExplore.update", true);
            store.setValue(SketchUI.PREFERENCE_FILTER_PACKAGE_EXPLORER, true);
        }

    }

}