1
package org.vcs.bazaar.eclipse.ui.editors;
3
import org.eclipse.ui.editors.text.TextEditor;
5
public class XMLEditor extends TextEditor {
7
private ColorManager colorManager;
11
colorManager = new ColorManager();
12
setSourceViewerConfiguration(new XMLConfiguration(colorManager));
13
setDocumentProvider(new XMLDocumentProvider());
15
public void dispose() {
16
colorManager.dispose();