setPreferenceStore(store);
// setDocumentProvider(new TextFileDocumentProvider(new
// ColoringDocumentProvider()));
setDocumentProvider(new ColoringDocumentProvider());
// setDocumentProvider(new DelegateDocumentProvider());
ColorManager colorManager = EditorPlugin.getDefault().getColorManager();
setSourceViewerConfiguration(new ColoringSourceViewerConfiguration(colorManager));
}