Class DiagramPrintOptions.Initializer
java.lang.Object
org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer
de.cau.cs.kieler.klighd.ui.printing.PrintOptions.Initializer
de.cau.cs.kieler.klighd.ui.printing.DiagramPrintOptions.Initializer
- Enclosing class:
- DiagramPrintOptions
Preference initializer making sure the required data contain valid values.
- Author:
- chsch
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected org.eclipse.jface.preference.IPreferenceStoreProvides theIPreferenceStoreto be used for storing the configuration.void
-
Constructor Details
-
Initializer
public Initializer()
-
-
Method Details
-
getPreferenceStore
protected org.eclipse.jface.preference.IPreferenceStore getPreferenceStore()Provides theIPreferenceStoreto be used for storing the configuration.- Specified by:
getPreferenceStorein classPrintOptions.Initializer- Returns:
- the
IPreferenceStoreto be used for storing the configuration.
-
initializeDefaultPreferences
public void initializeDefaultPreferences()- Overrides:
initializeDefaultPreferencesin classPrintOptions.Initializer
-