clearSearchHighlights method
void
clearSearchHighlights()
Removes all search highlights and releases their buffer anchors.
Implementation
void clearSearchHighlights() {
if (_searchHighlights.isEmpty && _currentSearchHighlight == -1) return;
_disposeSearchHighlights();
notifyListeners();
}