|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use WorkbenchProperties | |
|---|---|
| com.vividsolutions.jump.workbench | |
| com.vividsolutions.jump.workbench.driver | |
| Uses of WorkbenchProperties in com.vividsolutions.jump.workbench |
|---|
| Classes in com.vividsolutions.jump.workbench that implement WorkbenchProperties | |
|---|---|
class |
WorkbenchPropertiesFile
|
| Methods in com.vividsolutions.jump.workbench that return WorkbenchProperties | |
|---|---|
WorkbenchProperties |
JUMPWorkbench.getProperties()
The properties file; not to be confused with the WorkbenchContext properties. |
| Uses of WorkbenchProperties in com.vividsolutions.jump.workbench.driver |
|---|
| Methods in com.vividsolutions.jump.workbench.driver with parameters of type WorkbenchProperties | |
|---|---|
void |
DriverManager.loadDrivers(WorkbenchProperties properties)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||