public interface Configuration
Plugins 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