/** Shows the prompt for the user (e.g.: >>>) */ protected void appendInvitation(boolean async) { int start = doc.getLength(); String promptStr = prompt.toString(); IConsoleStyleProvider styleProvider = viewer.getStyleProvider(); if (styleProvider != null) { ScriptStyleRange style = styleProvider.createPromptStyle(promptStr, start); if (style != null) { addToPartitioner(style); } } appendText(promptStr); // caret already updated setCaretOffset(doc.getLength(), async); revealEndOfDocument(); }
public int getLastLineReadOnlySize() { return offset + prompt.toString().length(); }