ServerPackCreator
Toggle table of contents
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
ServerPackCreator
ServerPackCreator
/
de.griefed.serverpackcreator.api.plugins.swinggui
/
ExtensionTab
/
configFile
config
File
protected
val
configFile
:
Optional
<
File
>
(
source
)
Parameters
config
File
The config-file corresponding to the ID of the plugin, wrapped in an Optional.