package jeql.workbench.ui.geomview;
import java.awt.Color;
import jeql.util.ColorUtil;
public class AppConstants
{
public static final int POINT_SIZE = 5;
public static final int VERTEX_SIZE = 4;
public static double HIGHLIGHT_SIZE = 50.0;
public static double VERTEX_SHADOW_SIZE = 100;
public static double TOPO_STRETCH_VIEW_DIST = 5;
public static double MASK_WIDTH_FRAC = 0.3333;
// a very light gray
public static final Color MASK_CLR = new Color(230, 230, 230);
public static final Color VERTEX_SHADOW_CLR = new Color(180,180,180);
public static final Color VERTEX_HIGHLIGHT_CLR = new Color(255, 255, 0);
public static final Color HIGHLIGHT_CLR = new Color(255, 192, 0, 150);
public static final Color HIGHLIGHT_FILL_CLR = new Color(255, 240, 192, 200);
public static final Color BAND_CLR = new Color(255, 0, 0, 255);
public static final int AXIS_WIDTH = 3;
public static final Color AXIS_CLR = Color.lightGray;
public static final Color GRID_CLR = Color.lightGray;
public static final Color GRID_MAJOR_CLR = ColorUtil.gray(240);
public static final Color GRID_MINOR_CLR = ColorUtil.gray(190);
public static int TOLERANCE_PIXELS = 5;
}