Removed UI.

[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
deleted file mode 100644 (file)
index 3c57e1d..0000000
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/ui/text/JavaColorManager.java
+++ /dev/null
@@ -1,135 +0,0 @@
-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 net.sourceforge.phpdt.ui.text.IColorManager;
-import net.sourceforge.phpdt.ui.text.IColorManagerExtension;
-
-import org.eclipse.swt.graphics.Color;
-import org.eclipse.swt.graphics.RGB;
-import org.eclipse.swt.widgets.Display;
-
-/**
- * Java color manager.
- */
-public class JavaColorManager implements IColorManager, IColorManagerExtension {
-       protected Map fKeyTable= new HashMap(10);
-       protected Map fDisplayTable= new HashMap(2);
-
-       /** 
-        * Flag which tells if the colors are automatically disposed when
-        * the current display gets disposed.
-        */
-       private boolean fAutoDisposeOnDisplayDispose;
-
-
-       /**
-        * Creates a new Java color manager which automatically
-        * disposes the allocated colors when the current display
-        * gets disposed.
-        */     
-       public JavaColorManager() {
-               this(true);
-       }
-
-       /**
-        * Creates a new Java color manager.
-        * 
-        * @param autoDisposeOnDisplayDispose   if <code>true</code>  the color manager
-        * automatically disposes all managed colors when the current display gets disposed
-        * and all calls to {@link org.eclipse.jface.text.source.ISharedTextColors#dispose()} are ignored.
-        * 
-        * @since 2.1
-        */
-       public JavaColorManager(boolean autoDisposeOnDisplayDispose) {
-               fAutoDisposeOnDisplayDispose= autoDisposeOnDisplayDispose;
-       }
-       
-       public void dispose(Display display) {
-               Map colorTable= (Map) fDisplayTable.get(display);
-               if (colorTable != null) {
-                       Iterator e= colorTable.values().iterator();
-                       while (e.hasNext()) {
-                               Color color= (Color)e.next();
-                               if (color != null && !color.isDisposed())
-                                       color.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);
-                       if (fAutoDisposeOnDisplayDispose) {
-                               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() {
-               if (!fAutoDisposeOnDisplayDispose)
-                       dispose(Display.getCurrent());
-       }
-       
-       /*
-        * @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);
-       }
-}