Package de.fho.jump.pirol.utilities.settings

Class PirolPlugInSettings

  • public class PirolPlugInSettings
extends Object
    Holds general information, that have to be available everywhere in the project.
    Version:
    $Rev$
    Author:
    Ole Rahn

    FH Osnabrück - University of Applied Sciences Osnabrück,
    Project: PIROL (2005),
    Subproject: Daten- und Wissensmanagement

    • Field Detail

      • StandardPlugInIconWidth

        public static final int StandardPlugInIconWidth
        See Also:
        Constant Field Values

      • StandardPlugInIconHeight

        public static final int StandardPlugInIconHeight
        See Also:
        Constant Field Values

      • KEY_WORKBENCHCONTEXT_IN_BLACKBOARD

        public static final String KEY_WORKBENCHCONTEXT_IN_BLACKBOARD
        Default key to store a workbench context in a blackboard.
        See Also:
        Constant Field Values

    • Constructor Detail

      • PirolPlugInSettings

        public PirolPlugInSettings()

    • Method Detail

      • getName_PirolMenu

        public static String getName_PirolMenu()

      • getName_ProcessingMenu

        public static String getName_ProcessingMenu()

      • getName_CoordinateMenu

        public static String getName_CoordinateMenu()

      • getName_AttributeMenu

        public static String getName_AttributeMenu()

      • getName_ContextInformationMenu

        public static String getName_ContextInformationMenu()

      • getName_TransferMenu

        public static String getName_TransferMenu()

      • getName_SelectionMenu

        public static String getName_SelectionMenu()

      • getName_VisualToolsMenu

        public static String getName_VisualToolsMenu()
        Returns:
        Name for the tools sub menu containing tools that display something

      • resultLayerCategory

        public static String resultLayerCategory()

      • configDirectory

        public static File configDirectory()

      • tempDirectory

        public static File tempDirectory()

      • getDefaultNumberFormat

        public static NumberFormat getDefaultNumberFormat()
        Returns:
        the standard number format to be used in all dialogs, etc. (... from now on)