void (@NotNull String text, @NotNull ConsoleViewContentType contentType, @Nullable HyperlinkInfo info) { text = Strings.convertLineSeparators(text, keepSlashR); synchronized (LOCK) { boolean hasEditor = getEditor() != null; myDeferredBuffer.print(text, contentType, info); if (hasEditor) { if (contentType == ConsoleViewContentType.USER_INPUT) { requestFlushImmediately(); } else { boolean shouldFlushNow = myDeferredBuffer.length() >= myDeferredBuffer.getCycleBufferSize(); addFlushRequest(shouldFlushNow ? 0 : DEFAULT_FLUSH_DELAY, FLUSH); } } } }