pl.edu.agh.cast.preferences
Class PreferenceInitializer

java.lang.Object
  org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
      pl.edu.agh.cast.preferences.PreferenceInitializer

public final class PreferenceInitializer
extends org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

Class used to aid in default cast core plugin preference value initialization.

Author:

AGH CAST Team

Constructor Summary

PreferenceInitializer()

Method Summary

void	initializeDefaultPreferences()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PreferenceInitializer

public PreferenceInitializer()

Method Detail

initializeDefaultPreferences

public void initializeDefaultPreferences()

Specified by:

initializeDefaultPreferences in class org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer

See Also:

AbstractPreferenceInitializer.initializeDefaultPreferences()