void (@NotNull String prompt) { flushDeferredText(); DocumentEx document = getHistoryViewer().getDocument(); RangeHighlighter highlighter = this.getHistoryViewer().getMarkupModel().addRangeHighlighter(null, document.getTextLength(), document.getTextLength(), 0, HighlighterTargetArea.EXACT_RANGE); print(prompt, myConsoleExecutionEditor.getPromptAttributes()); highlighter.putUserData(ConsoleHistoryCopyHandlerKt.PROMPT_LENGTH_MARKER, prompt.length()); }