de.fho.jump.pirol.utilities.settings
Class PirolPlugInSettings
java.lang.Object
de.fho.jump.pirol.utilities.settings.PirolPlugInSettings
public class PirolPlugInSettings
- extends java.lang.Object
Holds general information, that have to be available everywhere in the project.
- Version:
- $Rev: 856 $
- Author:
- Ole Rahn
FH Osnabrück - University of Applied Sciences Osnabrück,
Project: PIROL (2005),
Subproject: Daten- und Wissensmanagement
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
logger
protected static PersonalLogger logger
StandardPlugInIconWidth
public static final int StandardPlugInIconWidth
- See Also:
- Constant Field Values
StandardPlugInIconHeight
public static final int StandardPlugInIconHeight
- See Also:
- Constant Field Values
StandardToolIconWidth
public static final int StandardToolIconWidth
- See Also:
- Constant Field Values
StandardToolIconHeight
public static final int StandardToolIconHeight
- See Also:
- Constant Field Values
KEY_WORKBENCHCONTEXT_IN_BLACKBOARD
public static final java.lang.String KEY_WORKBENCHCONTEXT_IN_BLACKBOARD
- Default key to store a workbench context in a blackboard.
- See Also:
- Constant Field Values
PirolPlugInSettings
public PirolPlugInSettings()
getName_PirolMenu
public static java.lang.String getName_PirolMenu()
getName_ProcessingMenu
public static java.lang.String getName_ProcessingMenu()
getName_CoordinateMenu
public static java.lang.String getName_CoordinateMenu()
getName_AttributeMenu
public static java.lang.String getName_AttributeMenu()
getName_ContextInformationMenu
public static java.lang.String getName_ContextInformationMenu()
getName_TransferMenu
public static java.lang.String getName_TransferMenu()
getName_SelectionMenu
public static java.lang.String getName_SelectionMenu()
getName_VisualToolsMenu
public static java.lang.String getName_VisualToolsMenu()
- Returns:
- Name for the tools sub menu containing tools that display something
resultLayerCategory
public static java.lang.String resultLayerCategory()
configDirectory
public static java.io.File configDirectory()
tempDirectory
public static java.io.File tempDirectory()
getDefaultNumberFormat
public static java.text.NumberFormat getDefaultNumberFormat()
- Returns:
- the standard number format to be used in all dialogs, etc. (... from now on)