Searched refs:getHighlightElement (Results 1 – 1 of 1) sorted by relevance
88 public Element getHighlightElement() in getHighlightElement() method in UserInterfaceHighlighter.HighlightPair318 pair.getHighlightElement().removeFromParent();333 Element highlightEl = pair.getHighlightElement();