diff --git a/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/XtextEditor.java b/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/XtextEditor.java index c1fd4b599e8..d554f01312d 100755 --- a/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/XtextEditor.java +++ b/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/XtextEditor.java @@ -593,12 +593,18 @@ public void selectionChanged(final SelectionChangedEvent event) { } } - private void installHighlightingHelper() { + /** + * @since 2.38 + */ + protected void installHighlightingHelper() { if (highlightingHelper != null) highlightingHelper.install(this, (XtextSourceViewer) getSourceViewer()); } - private void uninstallHighlightingHelper() { + /** + * @since 2.38 + */ + protected void uninstallHighlightingHelper() { if (highlightingHelper != null) highlightingHelper.uninstall(); }