PHP highlighting colors could now be managed by the new PreferencePage

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / util / PHPColorProvider.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/util/PHPColorProvider.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/util/PHPColorProvider.java
index b4cc40c..3439c15 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/util/PHPColorProvider.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/util/PHPColorProvider.java
@@ -34,15 +34,15 @@ public class PHPColorProvider {
   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);