@Override
    public void caretPositionChanged(@NotNull CaretEvent event) {
      if (event.getOldPosition().line != event.getNewPosition().line &&
          event.getCaret() == event.getEditor().getCaretModel().getPrimaryCaret() &&
          getPrimaryLineNumberConverter().shouldRepaintOnCaretMovement()) {
        repaint();
      }
    }
@Override
    public void caretPositionChanged(@NotNull CaretEvent event)