Uses of Interface
org.locationtech.jts.jump.workbench.WorkbenchProperties

Packages that use WorkbenchProperties

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

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

Classes in org.locationtech.jts.jump.workbench that implement WorkbenchProperties

Modifier and Type	Class	Description
class	WorkbenchPropertiesFile

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

Modifier and Type	Method	Description
WorkbenchProperties	JUMPWorkbench.getProperties()	The properties file; not to be confused with the WorkbenchContext properties.

Uses of WorkbenchProperties in org.locationtech.jts.jump.workbench.driver

Methods in org.locationtech.jts.jump.workbench.driver with parameters of type WorkbenchProperties

Modifier and Type	Method	Description
void	DriverManager.loadDrivers(WorkbenchProperties properties)