edu.cmu.cs.crystal.internal
Class CrystalPreferences

java.lang.Object
  extended by org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
      extended by edu.cmu.cs.crystal.internal.CrystalPreferences

public class CrystalPreferences
extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

Since:
Crystal 3.4.2
Author:
Kevin Bierhoff

Constructor Summary
CrystalPreferences()
           
 
Method Summary
 void initializeDefaultPreferences()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CrystalPreferences

public CrystalPreferences()
Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()
Specified by:
initializeDefaultPreferences in class org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer