void (@NotNull Document document, int startLine, int endLine) { if (document.getTextLength() == 0) return; // empty document has no lines if (startLine == endLine) return; ((DocumentImpl)document).clearLineModificationFlags(startLine, endLine); }