private ColorManager colorManager;
/**
- * Constructor for PHPEditor.
+ * Constructor for SampleEditor.
*/
public PHPEditor() {
super();
colorManager = new ColorManager();
setSourceViewerConfiguration(new PHPConfiguration(colorManager));
- setDocumentProvider(new PHPDocumentProvider());
+
}
public void dispose() {
colorManager.dispose();
super.dispose();
}
-
+
}