+++ /dev/null
-package net.sourceforge.phpeclipse.editors;
-
-import org.eclipse.ui.editors.text.TextEditor;
-
-public class PHPEditor extends TextEditor {
-
- private ColorManager colorManager;
- /**
- * Constructor for SampleEditor.
- */
- public PHPEditor() {
- super();
- colorManager = new ColorManager();
- setSourceViewerConfiguration(new PHPConfiguration(colorManager));
-
- }
- public void dispose() {
- colorManager.dispose();
- super.dispose();
- }
-
-}