Added PHPUnitEditor and corresponding PHPPreferencePage

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / text / JavaColorManager.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/JavaColorManager.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/JavaColorManager.java
new file mode 100644 (file)
index 0000000..69d31c5
--- /dev/null
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/JavaColorManager.java
@@ -0,0 +1,105 @@
+package net.sourceforge.phpdt.internal.ui.text;
+
+/*
+ * (c) Copyright IBM Corp. 2000, 2001.
+ * All Rights Reserved.
+ */
+ 
+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;
+
+import net.sourceforge.phpdt.ui.text.IColorManager;
+import net.sourceforge.phpdt.ui.text.IColorManagerExtension;
+
+/**
+ * Java color manager.
+ */
+public class JavaColorManager implements IColorManager, IColorManagerExtension {
+       
+       protected Map fKeyTable= new HashMap(10);
+       protected Map fDisplayTable= new HashMap(2);
+       
+       
+       public JavaColorManager() {
+       }
+       
+       private void dispose(Display display) {         
+               Map colorTable= (Map) fDisplayTable.get(display);
+               if (colorTable != null) {
+                       Iterator e= colorTable.values().iterator();
+                       while (e.hasNext())
+                               ((Color) e.next()).dispose();
+               }
+       }
+       
+       /*
+        * @see IColorManager#getColor(RGB)
+        */
+       public Color getColor(RGB rgb) {
+               
+               if (rgb == null)
+                       return null;
+               
+               final Display display= Display.getCurrent();
+               Map colorTable= (Map) fDisplayTable.get(display);
+               if (colorTable == null) {
+                       colorTable= new HashMap(10);
+                       fDisplayTable.put(display, colorTable);
+                       display.disposeExec(new Runnable() {
+                               public void run() {
+                                       dispose(display);
+                               }
+                       });
+               }
+               
+               Color color= (Color) colorTable.get(rgb);
+               if (color == null) {
+                       color= new Color(Display.getCurrent(), rgb);
+                       colorTable.put(rgb, color);
+               }
+               
+               return color;
+       }
+       
+       /*
+        * @see IColorManager#dispose
+        */
+       public void dispose() {
+               // nothing to dispose
+       }
+       
+       /*
+        * @see IColorManager#getColor(String)
+        */
+       public Color getColor(String key) {
+               
+               if (key == null)
+                       return null;
+                       
+               RGB rgb= (RGB) fKeyTable.get(key);
+               return getColor(rgb);
+       }
+       
+       /*
+        * @see IColorManagerExtension#bindColor(String, RGB)
+        */
+       public void bindColor(String key, RGB rgb) {
+               Object value= fKeyTable.get(key);
+               if (value != null)
+                       throw new UnsupportedOperationException();
+               
+               fKeyTable.put(key, rgb);
+       }
+
+       /*
+        * @see IColorManagerExtension#unbindColor(String)
+        */
+       public void unbindColor(String key) {
+               fKeyTable.remove(key);
+       }
+}