Uses of Class
org.locationtech.jts.jump.workbench.plugin.PlugInManager

Packages that use PlugInManager

Package	Description
org.locationtech.jts.jump.workbench
org.locationtech.jts.jump.workbench.ui

Uses of PlugInManager in org.locationtech.jts.jump.workbench

Methods in org.locationtech.jts.jump.workbench that return PlugInManager

Modifier and Type	Method	Description
PlugInManager	JUMPWorkbench.getPlugInManager()

Uses of PlugInManager in org.locationtech.jts.jump.workbench.ui

Methods in org.locationtech.jts.jump.workbench.ui with parameters of type PlugInManager

Modifier and Type	Method	Description
void	ExtensionsAboutPanel.setPlugInManager(PlugInManager plugInManager)