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