| Package | Description |
|---|---|
| com.vividsolutions.jump.workbench | |
| com.vividsolutions.jump.workbench.ui |
| Modifier and Type | Method and Description |
|---|---|
PlugInManager |
JUMPWorkbench.getPlugInManager() |
| Modifier and Type | Method and Description |
|---|---|
void |
ExtensionsAboutPanel.setPlugInManager(PlugInManager plugInManager) |
Copyright © 2015. All rights reserved.