Element outEl = output_.getElement();
text = VirtualConsole.consolify(text);
if (isOutput)
{
VirtualConsole console = new VirtualConsole();
console.submit(text);
String consoleSnapshot = console.toString();
// We use ensureNewLine to make sure that even if output
// doesn't end with \n, a prompt will appear on its own line.
// However, if we call ensureNewLine indiscriminantly (i.e.
// on an output that's going to be followed by another output)