package kr.ac.kaist.vicode.preference;

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

import kr.ac.kaist.vicode.Activator;

/**
 * Initialize default preference values
 * 
 * @author Gunwoo Kim (reshout@gmail.com)
 */
public class Defaults extends AbstractPreferenceInitializer {

	public Defaults() {
		super();
		// TODO Auto-generated constructor stub
	}

	/* (non-Javadoc)
	 * @see org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences()
	 */
	public void initializeDefaultPreferences() {
		// TODO Auto-generated method stub

		// get preference store
		IPreferenceStore store = Activator.getDefault().getPreferenceStore();

		store.setDefault("CDE_ESTEREL_C", true);
		store.setDefault("CDE_ESTEREL_VERILOG", true);
		store.setDefault("CDE_ESTEREL_BLIF", false);

		store.setDefault("SOFTWARE_DIR", "software");
	}
}