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));
		setDocumentProvider(new PHPDocumentProvider());
	}
	public void dispose() {
		colorManager.dispose();
		super.dispose();
	}

}