improved color settings through Preference page

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / PHPEditorEnvironment.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditorEnvironment.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditorEnvironment.java
deleted file mode 100644 (file)
index 5243cfa..0000000
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditorEnvironment.java
+++ /dev/null
@@ -1,86 +0,0 @@
-package net.sourceforge.phpeclipse.phpeditor;
-
-/**********************************************************************
-Copyright (c) 2000, 2002 IBM Corp. 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 implementation
-    Klaus Hartlage - www.eclipseproject.de
-**********************************************************************/
-
-import net.sourceforge.phpdt.internal.ui.text.JavaColorManager;
-import net.sourceforge.phpdt.internal.ui.text.phpdoc.PHPDocCodeScanner;
-import net.sourceforge.phpeclipse.PHPeclipsePlugin;
-import net.sourceforge.phpeclipse.phpeditor.php.HTMLCodeScanner;
-import net.sourceforge.phpeclipse.phpeditor.php.PHPCodeScanner;
-import net.sourceforge.phpeclipse.phpeditor.util.PHPColorProvider;
-
-/** The PHPEditorEnvironment maintains singletons used by the php editor
- */
-public class PHPEditorEnvironment {
- // PHPColorProvider
-  private static JavaColorManager fgColorProvider;
-  private static PHPCodeScanner fgPHPCodeScanner;
-  private static HTMLCodeScanner fgHTMLCodeScanner;
-  private static PHPDocCodeScanner fgDocScanner;
-
-  private static int fgRefCount = 0;
-
-  /**
-   * A connection has occured - initialize the receiver if it is the first activation.
-   */
-  public static void connect(Object client) {
-    if (++fgRefCount == 1) {
-      fgColorProvider = new JavaColorManager(); // new PHPColorProvider();
-      fgPHPCodeScanner = new PHPCodeScanner(fgColorProvider, PHPeclipsePlugin.getDefault().getPreferenceStore() );
-      fgHTMLCodeScanner = new HTMLCodeScanner(fgColorProvider, PHPeclipsePlugin.getDefault().getPreferenceStore());
-      fgDocScanner = new PHPDocCodeScanner(fgColorProvider, PHPeclipsePlugin.getDefault().getPreferenceStore() );
-    }
-  }
-
-  /**
-   * A disconnection has occured - clear the receiver if it is the last deactivation.
-   */
-  public static void disconnect(Object client) {
-    if (--fgRefCount == 0) {
-      fgPHPCodeScanner = null;
-      fgHTMLCodeScanner = null;
-      fgDocScanner = null;
-      fgColorProvider.dispose();
-      fgColorProvider = null;
-    }
-  }
-
-  /**
-   * Returns the singleton scanner.
-   */
-  public static PHPCodeScanner getPHPCodeScanner() {
-    return fgPHPCodeScanner;
-  }
-
-  /**
-   * Returns the singleton scanner.
-   */
-  public static HTMLCodeScanner getHTMLCodeScanner() {
-    return fgHTMLCodeScanner;
-  }
-
-  /**
-   * Returns the singleton PHPDoc scanner.
-   */
-  public static PHPDocCodeScanner getPHPDocCodeScanner() {
-    return fgDocScanner;
-  }
-
-  /**
-   * Returns the singleton color provider.
-   */
-  public static JavaColorManager getPHPColorProvider() {
-    return fgColorProvider;
-  }
-
-}