Class JUMPWorkbench
java.lang.Object
com.vividsolutions.jump.workbench.JUMPWorkbench
This class is responsible for setting up and displaying the main JUMP
workbench window.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionExpensive data structures can be cached on the blackboard so that several plug-ins can share them.static CommandLinegetFrame()static ImageIcongetIcon()getter for the frame iconstatic JUMPWorkbenchThe properties file; not to be confused with the WorkbenchContext properties.static voidstatic voidstatic ImageIcon
-
Field Details
-
APP_ICONS
-
APP_ICON
-
PROPERTIES_OPTION
- See Also:
-
DEFAULT_PLUGINS
- See Also:
-
EXTS_DIRECTORY_OPTION
- See Also:
-
LIMIT_LOOKUP_OPTION
- See Also:
-
JARS_DIRECTORY_OPTION
- See Also:
-
I18N_FILE
- See Also:
-
I18NPREFIX
-
STATE_OPTION
- See Also:
-
I18N_SETLOCALE
-
-
Constructor Details
-
JUMPWorkbench
- Parameters:
s- a visible SplashWindow to close when initialization is complete and the WorkbenchFrame is opened- Throws:
Exception
-
-
Method Details
-
splashImage
-
setIcon
- Parameters:
o- a window to decorate with icon
-
getIcon
getter for the frame icon -
main
-
getDriverManager
-
getProperties
The properties file; not to be confused with the WorkbenchContext properties. -
getFrame
-
getContext
-
getCommandLine
-
getInstance
- Returns:
- JUMPWorkbench instance
-
getPlugInManager
-
getBlackboard
Expensive data structures can be cached on the blackboard so that several plug-ins can share them.
-