private void installCodeColoring() {
if (fCodeColorManager == null && getSourceViewer() != null) {
ColoredSourceFile source = getSourceFile();
assert source.isColored();
JDTColorManagerBridge colorManager = new JDTColorManagerBridge(source);
fCodeColorManager = new ColoredHighlightingManager();
fCodeColorManager.install(
this,
(JavaSourceViewer) getSourceViewer(),
JavaPlugin.getDefault().getJavaTextTools().getColorManager(),
getPreferenceStore(),
colorManager);
}
if (fCodeColorManager != null) fCodeColorManager.fReconciler.scheduleJob();
}
