public class ModelerDimension
extends java.lang.Object
Constructor and Description |
---|
ModelerDimension() |
Modifier and Type | Method and Description |
---|---|
static void |
initScreenSize() |
public static java.awt.Dimension screenSize
public static int DEFAULT_SCREEN_WIDTH
public static int DEFAULT_SCREEN_HEIGHT
public static double PANEL_DIVISION_PROPORTION
public static int DATA_TABLE_HEIGHT
public static int DATA_TABLE_WIDTH
public static int GRAPH_MARGIN_LEFT
public static int GRAPH_MARGIN_RIGHT
public static int GRAPH_MARGIN_BOTTOM
public static int GRAPH_MARGIN_TOP
public static int INFO_ROW
public static int INFO_COL
public static int RESULT_ROW
public static int RESULT_COL
public static int PANEL_CHOICE_HEIGHT
public static int PANEL_CHOICE_WIDTH
public static int PANEL_CONTROL_HEIGHT
public static int PANEL_CONTROL_WIDTH
public static int PANEL_GRAPH_HEIGHT
public static int PANEL_GRAPH_WIDTH
public static int PANEL_INFO_HEIGHT
public static int PANEL_INFO_WIDTH
public static int PANEL_PRESENT_HEIGHT
public static int PANEL_PRESENT_WIDTH
public static int PANEL_RESULT_HEIGHT
public static int PANEL_RESULT_WIDTH
public static int PANEL_SAMPLE_HEIGHT
public static int PANEL_SAMPLE_WIDTH
public static int TOOL_BAR_HEIGHT
public static int TOOL_BAR_WIDTH
public static int TOOL_PANEL_HEIGHT
public static int TOOL_PANEL_WIDTH
public static int TOP_RIGHT_PANE_HEIGHT
public static int TOP_RIGHT_PANE_WIDTH
public static int TABBED_PANE_HEIGHT
public static int TABBED_PANE_WIDTH