org.jupe.plugin
Class JupePreferencesInitializer

java.lang.Object
  extended by org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
      extended by org.jupe.plugin.JupePreferencesInitializer

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

Initializes the preferences of the Jupe plugin to default values.

Author:
Michael Pradel

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

Constructor Detail

JupePreferencesInitializer

public JupePreferencesInitializer()
Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()

Specified by:
initializeDefaultPreferences in class org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer