clearDocumentHighlights method

void clearDocumentHighlights()

Clears all document highlights.

Implementation

void clearDocumentHighlights() {
  _documentHighlights = [];
  documentHighlightsChanged = true;
  notifyListeners();
}