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