public static final RGB CONSTANT = new RGB(127, 0, 85);
public static final RGB BACKGROUND = new RGB(255, 255, 255);
- public static final RGB LINKED_POSITION_COLOR = new RGB(0, 0, 0);
+ // public static final RGB LINKED_POSITION_COLOR = new RGB(0, 0, 0);
- 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 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);