X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/JavaColorManager.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/JavaColorManager.java deleted file mode 100644 index 8ef58d7..0000000 --- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/text/JavaColorManager.java +++ /dev/null @@ -1,137 +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 true 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); - } -}