diff --git a/src/Terminal/JupyterLabAppFactory.ts b/src/Terminal/JupyterLabAppFactory.ts index b37dd9aa1..1550e7b40 100644 --- a/src/Terminal/JupyterLabAppFactory.ts +++ b/src/Terminal/JupyterLabAppFactory.ts @@ -114,12 +114,12 @@ export class JupyterLabAppFactory { }); // Close terminal when Ctrl key is pressed - term.node.addEventListener('keydown', (event: KeyboardEvent) => { + term.node.addEventListener("keydown", (event: KeyboardEvent) => { if (event.ctrlKey) { this.onShellExited(false); - } + } }); - + return session; } }