Package jadex.bpmn.editor.gui

Class GuiConstants

  • public class GuiConstants
extends java.lang.Object
    This class containing constants for fine-tuning the GUI.

    • Field Detail

      • SINE_45

        public static final double SINE_45
        Constant 45 degree sine value.

      • DEFAULT_BUTTON_INSETS

        public static final java.awt.Insets DEFAULT_BUTTON_INSETS
        Default button insets.

      • GRAPH_PROPERTY_RATIO

        public static final double GRAPH_PROPERTY_RATIO
        Ratio between graph and property view.
        See Also:
        Constant Field Values

      • ANIMATION_FPS

        public static final int ANIMATION_FPS
        Frames per second for animations
        See Also:
        Constant Field Values

      • ANIMATION_FRAME_TIME

        public static final int ANIMATION_FRAME_TIME
        Time between animation frames in milliseconds, depends on FPS.

      • DEFAULT_ICON_SIZE

        public static final int DEFAULT_ICON_SIZE
        The default icon size used.
        See Also:
        Constant Field Values

      • ICON_SIZES

        public static final int[] ICON_SIZES
        The available icon sizes.

      • DEFAULT_ZOOM

        public static final double DEFAULT_ZOOM
        The default zoom.
        See Also:
        Constant Field Values

      • MIN_ZOOM_LEVEL

        public static final int MIN_ZOOM_LEVEL
        The minimum zoom level.
        See Also:
        Constant Field Values

      • MAX_ZOOM_LEVEL

        public static final int MAX_ZOOM_LEVEL
        The maximum zoom level.
        See Also:
        Constant Field Values

      • ZOOM_MOUSE_DIRECTION_FACTOR

        public static final double ZOOM_MOUSE_DIRECTION_FACTOR
        Factor by which the mouse shifts the view during zoom.
        See Also:
        Constant Field Values

      • SELECT_COLOR

        public static final java.lang.String SELECT_COLOR
        Selection Edit Mode Color
        See Also:
        Constant Field Values

      • CONTROL_POINT_COLOR

        public static final java.lang.String CONTROL_POINT_COLOR
        Control Point Color
        See Also:
        Constant Field Values

      • MESSAGE_EDGE_COLOR

        public static final java.lang.String MESSAGE_EDGE_COLOR
        Control Point Color
        See Also:
        Constant Field Values

      • MIN_EDGE_DIST

        public static final double MIN_EDGE_DIST
        Minimum Edge Distance
        See Also:
        Constant Field Values

      • PASTE_SHIFT

        public static final int PASTE_SHIFT
        Shift for newly pasted elements
        See Also:
        Constant Field Values

    • Constructor Detail

      • GuiConstants

        public GuiConstants()