@Override
      public void doRun() {
        flushDeferredText();
        Editor editor = getEditor();
        if (editor != null && !myFlushAlarm.isDisposed()) {
          scrollToEnd(editor);
        }
      }
@Override
      public void doRun()