1 2 25 26 package org.aspectj.ajde.ui.swing; 27 28 import java.awt.*; 29 import javax.swing.*; 30 import javax.swing.border.*; 31 32 public interface AjdeWidgetStyles { 33 34 public static final Font DEFAULT_LABEL_FONT = new java.awt.Font ("SansSerif", 0, 11); 35 public static final Border DEFAULT_BORDER = BorderFactory.createEmptyBorder(); 36 public static final Border LOWERED_BEVEL_BORDER = BorderFactory.createBevelBorder(BevelBorder.LOWERED); 37 public static final Border RAISED_BEVEL_BORDER = BorderFactory.createBevelBorder(BevelBorder.RAISED); 38 public static final Color DEFAULT_BACKGROUND_COLOR = Color.lightGray; 39 40 public static final Color LINK_NODE_COLOR = new Color(0, 0, 255); 41 public static final Color LINK_NODE_NO_SOURCE_COLOR = new Color(150, 150, 255); 42 43 } 44 | Popular Tags |