public class GuiConstants
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
ANIMATION_FPS
Frames per second for animations
|
static int |
ANIMATION_FRAME_TIME
Time between animation frames in milliseconds, depends on FPS.
|
static java.lang.String |
CONTROL_POINT_COLOR
Control Point Color
|
static java.awt.Insets |
DEFAULT_BUTTON_INSETS
Default button insets.
|
static int |
DEFAULT_ICON_SIZE
The default icon size used.
|
static double |
DEFAULT_ZOOM
The default zoom.
|
static double |
GRAPH_PROPERTY_RATIO
Ratio between graph and property view.
|
static int[] |
ICON_SIZES
The available icon sizes.
|
static int |
MAX_ZOOM_LEVEL
The maximum zoom level.
|
static java.lang.String |
MESSAGE_EDGE_COLOR
Control Point Color
|
static double |
MIN_EDGE_DIST
Minimum Edge Distance
|
static int |
MIN_ZOOM_LEVEL
The minimum zoom level.
|
static int |
PASTE_SHIFT
Shift for newly pasted elements
|
static java.lang.String |
SELECT_COLOR
Selection Edit Mode Color
|
static double |
SINE_45
Constant 45 degree sine value.
|
static double |
ZOOM_MOUSE_DIRECTION_FACTOR
Factor by which the mouse shifts the view during zoom.
|
Constructor and Description |
---|
GuiConstants() |
public static final double SINE_45
public static final java.awt.Insets DEFAULT_BUTTON_INSETS
public static final double GRAPH_PROPERTY_RATIO
public static final int ANIMATION_FPS
public static final int ANIMATION_FRAME_TIME
public static final int DEFAULT_ICON_SIZE
public static final int[] ICON_SIZES
public static final double DEFAULT_ZOOM
public static final int MIN_ZOOM_LEVEL
public static final int MAX_ZOOM_LEVEL
public static final double ZOOM_MOUSE_DIRECTION_FACTOR
public static final java.lang.String SELECT_COLOR
public static final java.lang.String CONTROL_POINT_COLOR
public static final java.lang.String MESSAGE_EDGE_COLOR
public static final double MIN_EDGE_DIST
public static final int PASTE_SHIFT