package scriptbuilder.gui; import java.awt.Color; import java.awt.Cursor; import java.awt.Font; import java.awt.Point; import java.awt.Toolkit; import images.*; /** * Global constants for the script builder. * * @author Greg Eddington */ public class ScriptBuilderGuiConstants { public static int PIXEL_WIDTH_PER_HORIZONTAL_TICK = 24; public static final int HORIZONTAL_TICK_RESOLUTION = 60, TIMELINE_TOP_MARGIN = 25, MAX_NUMBER_OF_SCRIPT_EVENT_ICON = 10, SCRIPT_EVENT_ICON_TOP_MARGIN = 55, SCRIPT_EVENT_ICON_STEP = 24, EVENT_ICON_WIDTH = 10, TIMELINE_EVENT_ICON_MARGIN = 35, CURSOR_ICON_HORIZONTAL_CENTER = 10, CURSOR_TIMESTAMP_TOP_MARGIN = 1, CURSOR_TIMESTAMP_HEIGHT = 13, CURSOR_TIMESTAMP_HORIZONTAL_CENTER = 23, CURSOR_TIMESTAMP_BORDER_TOP_MARGIN = 0, CURSOR_TIMESTAMP_BORDER_HEIGHT = 15, CURSOR_TIMESTAMP_BORDER_HORIZONTAL_CENTER = 25, CURSOR_TIMESTAMP_ICON_CENTER = 10, CURSOR_TIMESTAMP_ICON_TOP_MARGIN = 16, CURSOR_TIMESTAMP_TEXT_CENTER = 18, CURSOR_TIMESTAMP_TEXT_TOP_MARGIN = 11, TIMELINE_HEIGHT = 3, TICK_TIMELINE_TOP_MARGIN = 50, TICK_TIMELINE_LEFT_MARGIN = 116, TICK_TIMELINE_SMALLEST_LENGTH = 800, TICK_TIMELINE_HEIGHT = 0, TICK_TOP_MARGIN = 0, TICK_HEIGHT = 3400, TICK_WIDTH = 1, TIMELINE_COLLAPSED_HEIGHT = 50, TIMELINE_OPENED_HEIGHT = 320, INCIDENT_NUMBER_WIDTH = 100, INCIDENT_NUMBER_TOP_MARGIN = 35, INCIDENT_NUMBER_LEFT_MARGIN = 60, TICKS_PER_MAJOR_TICK = 15, COLLEX_BUTTON_X = 25, COLLEX_BUTTON_Y = 18, COLLEX_BUTTON_WIDTH = 20, COLLEX_BUTTON_HEIGHT = 20, MAX_SIMULATION_LENGTH = 999999; public static final Color CURSOR_TIMESTAMP_BORDER_COLOR = Color.BLACK, CURSOR_TIMESTAMP_ACTIVE_COLOR = Color.YELLOW, CURSOR_TIMESTAMP_LOCKED_COLOR = Color.LIGHT_GRAY, CURSOR_TIMESTAMP_TEXT_COLOR = Color.BLACK, TIMELINE_TICK_COLOR = Color.BLACK, MINOR_TICK_COLOR = new Color(0xDADADA); public static final Font INCIDENT_NUMBER_FONT = new Font("Arial", Font.BOLD, 20), INCIDENT_NAME_FONT = new Font("Arial", Font.BOLD, 12), TIMELINE_TICK_TIME_FONT = new Font("Arial", Font.BOLD, 14); public static final Cursor RADIO_CURSOR = Toolkit.getDefaultToolkit().createCustomCursor( Toolkit.getDefaultToolkit().getImage(Images.getImage("Radio.png")), new Point(0, 0), "Radio"); }