// public static final RGB LINE_NUMBER_COLOR = new RGB(0, 0, 0);
// public static final RGB BACKGROUND_COLOR = new RGB(255, 255, 255);
-// public static final RGB PHPDOC_TAG = new RGB(63, 127, 95);
-// public static final RGB PHPDOC_LINK = new RGB(63, 63, 191);
-// public static final RGB PHPDOC_DEFAULT = new RGB(63, 95, 191);
-// public static final RGB PHPDOC_KEYWORD = new RGB(127, 159, 191);
+ public static final RGB PHPDOC_TAG = new RGB(63, 127, 95);
+ public static final RGB PHPDOC_LINK = new RGB(63, 63, 191);
+ public static final RGB PHPDOC_DEFAULT = new RGB(63, 95, 191);
+ public static final RGB PHPDOC_KEYWORD = new RGB(127, 159, 191);
protected Map fColorTable = new HashMap(10);