Package | Description |
---|---|
org.jrd.frontend.PluginMangerFrame |
Modifier and Type | Method and Description |
---|---|
ConfigPanel |
PluginConfigurationEditorController.getOrCreatePluginConfigPanel(DecompilerWrapperInformation vmInfo) |
Modifier and Type | Method and Description |
---|---|
void |
PluginConfigurationEditorController.updatePanelInfo(ConfigPanel pluginConfigPanel,
DecompilerWrapperInformation vmInfo) |
Copyright © 2020. All rights reserved.