/** * Uninstall Semantic Highlighting. * * @since 3.0 */ void uninstallCodeColoring() { if (fCodeColorManager != null) { fCodeColorManager.uninstall(); fCodeColorManager = null; } }