void () { flushDeferredText(); Editor editor = getEditor(); if (editor == null) return; int moveOffset = getEffectiveOffset(editor); editor.getCaretModel().moveToOffset(moveOffset); editor.getScrollingModel().scrollToCaret(ScrollType.MAKE_VISIBLE); }