|
@@ -804,16 +804,11 @@ function addCommands(app: JupyterLab, services: ServiceManager, tracker: Noteboo
|
|
}
|
|
}
|
|
// open a console, create if needed
|
|
// open a console, create if needed
|
|
if (code) {
|
|
if (code) {
|
|
- editor.focus();
|
|
|
|
return commands.execute('console:open', {
|
|
return commands.execute('console:open', {
|
|
path,
|
|
path,
|
|
insertMode: 'split-bottom',
|
|
insertMode: 'split-bottom',
|
|
activate: false
|
|
activate: false
|
|
}).then((panel) => {
|
|
}).then((panel) => {
|
|
- // TODO: If the panel was created, the editor loses focus.
|
|
|
|
- // if (!editor.hasFocus) {
|
|
|
|
- // editor.focus();
|
|
|
|
- // }
|
|
|
|
commands.execute('console:inject', { activate: false, code, path });
|
|
commands.execute('console:inject', { activate: false, code, path });
|
|
}).catch((error) => {
|
|
}).catch((error) => {
|
|
console.log(error);
|
|
console.log(error);
|