plugins/fla/org.polarsys.chess.fla/src/org/polarsys/chess/fla/preferences/PreferenceInitializer.java

/*******************************************************************************
 *                  CHESS core plugin
 *
 *               Copyright (C) 2011-2015
 *            Mälardalen University, Sweden
 *
 *
 *  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-v20.html
 *******************************************************************************/
package org.polarsys.chess.fla.preferences;

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

import org.polarsys.chess.fla.launch.Activator;

public class PreferenceInitializer extends AbstractPreferenceInitializer {

	@Override
	public void initializeDefaultPreferences() {
		IPreferenceStore store = Activator.getDefault().getPreferenceStore();
		store.setDefault(FlaParameters.INIT_NO_FAILURE, true);
		store.setDefault(FlaParameters.PROPAGATE_UNMATCHED_FAILURES, true);
		store.setDefault(FlaParameters.TREAT_UNMENTIONED_PORTS_AS_WILDCARDS, false);
	}

}