Merge pull request #6987 from takluyver/i6983

Fix conversion of input area to stream output
Min RK 12 years ago
commit a4aaf94cd6

@ -790,7 +790,7 @@ define([
}
var content = {
output_type : 'stream',
stream : 'stdout',
name : 'stdout',
text : theprompt.text() + echo + '\n'
};
// remove form container

Loading…
Cancel
Save