Skip to content

Commit

Permalink
Make terminal consume escape key
Browse files Browse the repository at this point in the history
Fixes #6455
  • Loading branch information
Tyriar committed May 27, 2016
1 parent 2833eb9 commit 20f73da
Showing 1 changed file with 6 additions and 0 deletions.
Expand Up @@ -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);
}));
Expand Down

0 comments on commit 20f73da

Please sign in to comment.