random-mirrors/cosmos-explorer
1
0
Fork 0
mirror of https://github.com/Azure/cosmos-explorer.git synced 2025-03-06 09:58:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

format

Browse Source
This commit is contained in:
Asier Isayas 2025-02-19 11:55:40 -05:00
parent 4d72fb9184
commit 2a1d337368
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Terminal/JupyterLabAppFactory.ts
View File

@ -114,12 +114,12 @@ export class JupyterLabAppFactory {
}); });
// Close terminal when Ctrl key is pressed // Close terminal when Ctrl key is pressed
term.node.addEventListener('keydown', (event: KeyboardEvent) => { term.node.addEventListener("keydown", (event: KeyboardEvent) => {
if (event.ctrlKey) { if (event.ctrlKey) {
this.onShellExited(false); this.onShellExited(false);
} }
}); });
return session; return session;
} }
} }