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 29325c6c9ce..87570d4938e 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 @@ -591,12 +591,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(); }