/** 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();
}
