scheduleDocumentHighlightsRefresh method

void scheduleDocumentHighlightsRefresh(
  1. int line,
  2. int character
)

Schedules a document highlights refresh with debouncing.

Cancels any pending refresh and schedules a new one.

Implementation

void scheduleDocumentHighlightsRefresh(int line, int character) {
  _documentHighlightTimer?.cancel();
  _documentHighlightTimer = Timer(_documentHighlightDebounce, () {
    fetchDocumentHighlights(line, character);
  });
}