@Override
      public void commandFinished(@NotNull CommandEvent event) {
        if (insideCommand) {
          insideCommand = false;
          myStartDocStamp = docStamp();
          myCaretOffsets = caretOffsets();
        }
      }
@Override
      public void commandFinished(@NotNull CommandEvent event)