void (int editorLine, @NotNull AnnotatedLineModificationDetails details, @Nullable ProgressIndicator indicator) { if (indicator != null) indicator.checkCanceled(); if (editorLine == myCurrentLine) { removeHighlighters(); addHighlighters(editorLine, details); } }