@Override
          public void beforeDocumentChange(@NotNull DocumentEvent event) {
            RangeMarker guard = myDocument.getRangeGuard(event.getOffset(), event.getOffset() + event.getOldLength());
            if (guard != null) {
              myGuardModification = true;
            }
          }
@Override
          public void beforeDocumentChange(@NotNull DocumentEvent event)