testing around with plugin properties ;)
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / editors / PHPEditor.java
1 package net.sourceforge.phpeclipse.editors;
2
3 import org.eclipse.ui.editors.text.TextEditor;
4
5 public class PHPEditor extends TextEditor {
6
7         private ColorManager colorManager;
8         /**
9          * Constructor for SampleEditor.
10          */
11         public PHPEditor() {
12                 super();
13                 colorManager = new ColorManager();
14                 setSourceViewerConfiguration(new PHPConfiguration(colorManager));
15
16         }
17         public void dispose() {
18                 colorManager.dispose();
19                 super.dispose();
20         }
21
22 }