public class DotIdeColor extends DotIdentifier
DotIdeColor(java.lang.String origIdent, java.awt.Color color)
java.awt.Color
getColor()
getIdent
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DotIdeColor(java.lang.String origIdent, java.awt.Color color)
public java.awt.Color getColor()