| Package | Description |
|---|---|
| com.vividsolutions.jump.workbench | |
| com.vividsolutions.jump.workbench.driver |
| Modifier and Type | Class and Description |
|---|---|
class |
WorkbenchPropertiesFile |
| Modifier and Type | Method and Description |
|---|---|
WorkbenchProperties |
JUMPWorkbench.getProperties()
The properties file; not to be confused with the WorkbenchContext
properties.
|
| Modifier and Type | Method and Description |
|---|---|
void |
DriverManager.loadDrivers(WorkbenchProperties properties) |
Copyright © 2015. All rights reserved.