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