@Override
    public void caretRemoved(@NotNull CaretEvent event) {
      Caret caret = event.getCaret();
      if (caret != null) {
        clearMarkers(caret);
      }
    }
@Override
    public void caretRemoved(@NotNull CaretEvent event)