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 PHPEditor.
  10          */
  11         public PHPEditor() {
  12                 super();
  13                 colorManager = new ColorManager();
  14                 setSourceViewerConfiguration(new PHPConfiguration(colorManager));
  15                 setDocumentProvider(new PHPDocumentProvider());
  16         }
  17         public void dispose() {
  18                 colorManager.dispose();
  19                 super.dispose();
  20         }
  21
  22 }