21222324252627
public ToolEditor() { super(); colorManager = new ColorManager(); setSourceViewerConfiguration(new ToolSourceViewerConfiguration(colorManager)); setDocumentProvider(new ToolDocumentProvider()); }