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 MULTI_LINE_COMMENT= new RGB(63, 127, 95);
+ public static final RGB SINGLE_LINE_COMMENT= new RGB(63, 127, 95);
+ 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 HTML_DEFAULT= new RGB(0, 128, 128);
-
-
+
+ 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);
+
protected Map fColorTable= new HashMap(10);
/**