1) Moved net.sourceforge.phpeclipse.ui\src\net\sourceforge\phpdt back to net.sourcefo...

[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpdt / internal / ui / preferences / ColorEditor.java

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/ColorEditor.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/ColorEditor.java
deleted file mode 100644 (file)
index a4c4761..0000000
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/preferences/ColorEditor.java
+++ /dev/null
@@ -1,126 +0,0 @@
-/*******************************************************************************
- * Copyright (c) 2000, 2003 IBM Corporation and others.
- * All rights reserved. This program and the accompanying materials 
- * are made available under the terms of the Common Public License v1.0
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/cpl-v10.html
- * 
- * Contributors:
- *     IBM Corporation - initial API and implementation
- *******************************************************************************/
-package net.sourceforge.phpdt.internal.ui.preferences;
-
-import org.eclipse.jface.resource.JFaceResources;
-import org.eclipse.swt.SWT;
-import org.eclipse.swt.events.DisposeEvent;
-import org.eclipse.swt.events.DisposeListener;
-import org.eclipse.swt.events.SelectionAdapter;
-import org.eclipse.swt.events.SelectionEvent;
-import org.eclipse.swt.graphics.Color;
-import org.eclipse.swt.graphics.Font;
-import org.eclipse.swt.graphics.GC;
-import org.eclipse.swt.graphics.Image;
-import org.eclipse.swt.graphics.Point;
-import org.eclipse.swt.graphics.RGB;
-import org.eclipse.swt.widgets.Button;
-import org.eclipse.swt.widgets.ColorDialog;
-import org.eclipse.swt.widgets.Composite;
-import org.eclipse.swt.widgets.Control;
-import org.eclipse.swt.widgets.Display;
-
-/**
- * A "button" of a certain color determined by the color picker.
- */
-public class ColorEditor {
-
-       private Point fExtent;
-
-       private Image fImage;
-
-       private RGB fColorValue;
-
-       private Color fColor;
-
-       private Button fButton;
-
-       public ColorEditor(Composite parent) {
-
-               fButton = new Button(parent, SWT.PUSH);
-               fExtent = computeImageSize(parent);
-               fImage = new Image(parent.getDisplay(), fExtent.x, fExtent.y);
-
-               GC gc = new GC(fImage);
-               gc.setBackground(fButton.getBackground());
-               gc.fillRectangle(0, 0, fExtent.x, fExtent.y);
-               gc.dispose();
-
-               fButton.setImage(fImage);
-               fButton.addSelectionListener(new SelectionAdapter() {
-                       public void widgetSelected(SelectionEvent event) {
-                               ColorDialog colorDialog = new ColorDialog(fButton.getShell());
-                               colorDialog.setRGB(fColorValue);
-                               RGB newColor = colorDialog.open();
-                               if (newColor != null) {
-                                       fColorValue = newColor;
-                                       updateColorImage();
-                               }
-                       }
-               });
-
-               fButton.addDisposeListener(new DisposeListener() {
-                       public void widgetDisposed(DisposeEvent event) {
-                               if (fImage != null) {
-                                       fImage.dispose();
-                                       fImage = null;
-                               }
-                               if (fColor != null) {
-                                       fColor.dispose();
-                                       fColor = null;
-                               }
-                       }
-               });
-       }
-
-       public RGB getColorValue() {
-               return fColorValue;
-       }
-
-       public void setColorValue(RGB rgb) {
-               fColorValue = rgb;
-               updateColorImage();
-       }
-
-       public Button getButton() {
-               return fButton;
-       }
-
-       protected void updateColorImage() {
-
-               Display display = fButton.getDisplay();
-
-               GC gc = new GC(fImage);
-               gc.setForeground(display.getSystemColor(SWT.COLOR_BLACK));
-               gc.drawRectangle(0, 2, fExtent.x - 1, fExtent.y - 4);
-
-               if (fColor != null)
-                       fColor.dispose();
-
-               fColor = new Color(display, fColorValue);
-               gc.setBackground(fColor);
-               gc.fillRectangle(1, 3, fExtent.x - 2, fExtent.y - 5);
-               gc.dispose();
-
-               fButton.setImage(fImage);
-       }
-
-       protected Point computeImageSize(Control window) {
-               GC gc = new GC(window);
-               Font f = JFaceResources.getFontRegistry().get(
-                               JFaceResources.DEFAULT_FONT);
-               gc.setFont(f);
-               int height = gc.getFontMetrics().getHeight();
-               gc.dispose();
-               Point p = new Point(height * 3 - 6, height);
-               return p;
-       }
-}