void (@NotNull DocumentEvent e) { prevStartOffset = (short)intervalStart(); prevEndOffset = (short)intervalEnd(); modificationStamp = (byte)e.getDocument().getModificationStamp(); persistentHighlighterUpdate(e, getTargetArea() == HighlighterTargetArea.LINES_IN_RANGE); }