| |
|
| java.lang.Object de.fho.jump.pirol.utilities.settings.PirolPlugInSettings
PirolPlugInSettings | public class PirolPlugInSettings (Code) | | Holds general information, that have to be available everywhere in the project.
author: Ole Rahn author:
author: FH Osnabrück - University of Applied Sciences Osnabrück, author: Project: PIROL (2005), author: Subproject: Daten- und Wissensmanagement version: $Rev: 856 $ |
KEY_WORKBENCHCONTEXT_IN_BLACKBOARD | final public static String KEY_WORKBENCHCONTEXT_IN_BLACKBOARD(Code) | | Default key to store a workbench context in a blackboard.
|
StandardPlugInIconWidthStandardPlugInIconHeight | final public static int StandardPlugInIconWidthStandardPlugInIconHeight(Code) | | |
StandardToolIconWidthStandardToolIconHeight | final public static int StandardToolIconWidthStandardToolIconHeight(Code) | | |
configDirectory | public static File configDirectory()(Code) | | |
getDefaultNumberFormat | public static NumberFormat getDefaultNumberFormat()(Code) | | the standard number format to be used in all dialogs, etc. (... from now on) |
getName_AttributeMenu | public static String getName_AttributeMenu()(Code) | | |
getName_ContextInformationMenu | public static String getName_ContextInformationMenu()(Code) | | |
getName_CoordinateMenu | public static String getName_CoordinateMenu()(Code) | | |
getName_PirolMenu | public static String getName_PirolMenu()(Code) | | |
getName_ProcessingMenu | public static String getName_ProcessingMenu()(Code) | | |
getName_SelectionMenu | public static String getName_SelectionMenu()(Code) | | |
getName_TransferMenu | public static String getName_TransferMenu()(Code) | | |
getName_VisualToolsMenu | public static String getName_VisualToolsMenu()(Code) | | Name for the tools sub menu containing tools that display something |
resultLayerCategory | public static String resultLayerCategory()(Code) | | |
tempDirectory | public static File tempDirectory()(Code) | | |
|
|
|