edu.cmu.cs.crystal.internal
Class CrystalPreferences
java.lang.Object
org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
edu.cmu.cs.crystal.internal.CrystalPreferences
public class CrystalPreferences
- extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
- Since:
- Crystal 3.4.2
- Author:
- Kevin Bierhoff
CrystalPreferences
public CrystalPreferences()
initializeDefaultPreferences
public void initializeDefaultPreferences()
- Specified by:
initializeDefaultPreferences
in class org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer