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