public interface Plugin
| Modifier and Type | Method and Description |
|---|---|
void |
destroy()
Destroys all plug-in resources.
|
String |
getTitle()
Get run-time title of this plug-in.
|
String |
getVersion()
Get version of the plug-in.
|
void |
initialize(SettingsManager settingsManager)
Perform initialization of the plug-in.
|
boolean |
isShowSettingsSupported()
Check if showSettings() is supported by this plug-in.
|
void |
reset()
Perform a reset of this plugin.
|
void |
showSettings()
Show GUI of plug-in settings, if it is provided.
|
void reset()
void initialize(SettingsManager settingsManager) throws PluginInitializationException
settingsManager - manager of plug-in's settings. Plug-in use it for
getting/storing/removing its custom settings. These settings are saved
directly into the configuration file.PluginInitializationException - thrown when initialization process was not successfulvoid destroy()
void showSettings()
boolean isShowSettingsSupported()
String getTitle()
String getVersion()
Copyright © 2017. All rights reserved.