114115116117118119120121122123124
command.append(text); if (userCallback != null) { try { ConsoleCallbackResult progress = userCallback.progress(console, textAdded, buffer.wholeText()); switch (progress.type) { case CONTINUE: break; case DONE: return progress;