1 23 24 package org.objectweb.fractal.gui; 25 26 import java.awt.BasicStroke ; 27 import java.awt.Color ; 28 import java.awt.Font ; 29 import java.awt.Stroke ; 30 31 34 35 public interface Constants { 36 37 40 41 Font NAME_FONT = new Font ("MonoSpaced", Font.BOLD, 12); 42 43 46 47 Font PROVIDED_FONT = new Font ("MonoSpaced", Font.PLAIN, 12); 48 49 52 53 Font REQUIRED_FONT = new Font ("MonoSpaced", Font.ITALIC, 12); 54 55 58 59 Color PROVIDED_COLOR = Color.black; 61 64 65 Color REQUIRED_COLOR = Color.black; 67 70 71 Color COMPONENT_COLOR = new Color (255, 255, 183); 73 74 77 78 Color BINDING_COLOR = new Color (0, 128, 0); 79 80 83 84 Color ERROR_COLOR = Color.red; 85 86 89 90 Color WARNING_COLOR = new Color (153, 0, 0); 91 92 95 96 Color SELECTION_COLOR = new Color (255, 102, 51); 98 101 102 Stroke NORMAL_STROKE = new BasicStroke (); 103 104 107 108 Stroke BOLD_STROKE = new BasicStroke (2); 109 110 113 114 Stroke DASHED_STROKE = new BasicStroke ( 115 1, 116 BasicStroke.CAP_SQUARE, 117 BasicStroke.JOIN_MITER, 118 10, 119 new float[] { 5, 5 }, 120 0); 121 } 122 | Popular Tags |