提交 3500c2dd 编写于 作者: D Daniel Imms

Make terminal consume escape key

Fixes #6455
上级 08685959
......@@ -202,6 +202,12 @@ export class TerminalPanel extends Panel {
this.focusTerminal();
}
}));
this.toDispose.push(DOM.addDisposableListener(this.parentDomElement, 'keyup', (event: KeyboardEvent) => {
// Keep terminal open on escape
if (event.keyCode === 27) {
event.stopPropagation();
}
}));
this.toDispose.push(this.themeService.onDidThemeChange((themeId) => {
this.setTerminalTheme(themeId);
}));
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册