import java.util.HashMap;
import java.util.Iterator;
import java.util.Map;
+
import org.eclipse.swt.graphics.Color;
import org.eclipse.swt.graphics.RGB;
import org.eclipse.swt.widgets.Display;
-
/**
* Manager for colors used in the Java editor
*/
public class PHPColorProvider {
- public static final RGB MULTI_LINE_COMMENT= new RGB(128, 0, 0);
- public static final RGB SINGLE_LINE_COMMENT= new RGB(128, 128, 0);
- public static final RGB KEYWORD= new RGB(0, 0, 128);
- public static final RGB TYPE= new RGB(0, 0, 128);
- public static final RGB STRING= new RGB(0, 128, 0);
- public static final RGB DEFAULT= new RGB(0, 0, 0);
- public static final RGB HTML_DEFAULT= new RGB(0, 128, 128);
-
-
- protected Map fColorTable= new HashMap(10);
-
- /**
- * Release all of the color resources held onto by the receiver.
- */
- public void dispose() {
- Iterator e= fColorTable.values().iterator();
- while (e.hasNext())
- ((Color) e.next()).dispose();
- }
-
- /**
- * Return the Color that is stored in the Color table as rgb.
- */
- public Color getColor(RGB rgb) {
- Color color= (Color) fColorTable.get(rgb);
- if (color == null) {
- color= new Color(Display.getCurrent(), rgb);
- fColorTable.put(rgb, color);
- }
- return color;
- }
+ public static final RGB MULTI_LINE_COMMENT = new RGB(63, 127, 95);
+ public static final RGB SINGLE_LINE_COMMENT = new RGB(63, 127, 95);
+ public static final RGB TAG = new RGB(255, 0, 128);
+ public static final RGB KEYWORD = new RGB(127, 0, 85);
+ public static final RGB VARIABLE = new RGB(127, 159, 191);
+ public static final RGB FUNCTION_NAME = new RGB(127, 127, 159);
+ public static final RGB STRING = new RGB(42, 0, 255);
+ public static final RGB DEFAULT = new RGB(0, 0, 0);
+ public static final RGB TYPE = new RGB(127, 0, 85);
+ 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 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);
+
+ protected Map fColorTable = new HashMap(10);
+
+ /**
+ * Release all of the color resources held onto by the receiver.
+ */
+ public void dispose() {
+ Iterator e = fColorTable.values().iterator();
+ while (e.hasNext())
+ ((Color) e.next()).dispose();
+ }
+
+ /**
+ * Return the Color that is stored in the Color table as rgb.
+ */
+ public Color getColor(RGB rgb) {
+ Color color = (Color) fColorTable.get(rgb);
+ if (color == null) {
+ color = new Color(Display.getCurrent(), rgb);
+ fColorTable.put(rgb, color);
+ }
+ return color;
+ }
}