|
@@ -443,6 +443,7 @@ class CodeConsole extends Widget {
|
|
private _evtKeyDown(event: KeyboardEvent): void {
|
|
private _evtKeyDown(event: KeyboardEvent): void {
|
|
let editor = this.prompt.editor;
|
|
let editor = this.prompt.editor;
|
|
if (event.keyCode === 13 && !editor.hasFocus()) {
|
|
if (event.keyCode === 13 && !editor.hasFocus()) {
|
|
|
|
+ event.preventDefault();
|
|
editor.focus();
|
|
editor.focus();
|
|
}
|
|
}
|
|
}
|
|
}
|