public interface Configuration
Plugin
s configurations that must be
serialized (that means that they are stored after quitting and retrieved when opening) must extend this class.Plugin.getPluginConfiguration()
Modifier and Type | Method and Description |
---|---|
void |
getConfiguration(java.util.prefs.Preferences pref,
java.io.File dir)
Called when the Preferences key-value entries must be updated with the configuration.
|
void |
putConfiguration(java.util.prefs.Preferences pref,
java.io.File dir)
Called when the configuration must be filled with key-value entries stored in a Preferences.
|
default void |
setupApplicationDesc(ApplicationDesc appDesc)
Setup the application description.
|
void putConfiguration(java.util.prefs.Preferences pref, java.io.File dir)
pref
- the Preferencesdir
- the directory to use as a current directory to store File preferences. This parameter can be used for the configuration to
define the File preference path relative to the directory, but a Configuration might also not take this parameter into account at allvoid getConfiguration(java.util.prefs.Preferences pref, java.io.File dir)
pref
- the Preferencesdir
- the directory to use as a current directory to store File preferences. This parameter can be used for the configuration to
define the File preference path relative to the directory, but a Configuration might also not take this parameter into account at alldefault void setupApplicationDesc(ApplicationDesc appDesc)
appDesc
- the application description