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