Example #1
0
 public void removeHighlighting() {
   _highlighter.removeHighlight();
 }
Example #2
0
 public void applyHighlighting() {
   _highlighter.highlightElement(getSelectedElement());
 }