From bc6d7bc3f6b2b23aec9e8633960811f3dba5ecba Mon Sep 17 00:00:00 2001
From: Chandrasekhar Ramakrishnan <cramakri@ethz.ch>
Date: Sat, 13 Jul 2019 11:43:28 -0500
Subject: [PATCH] fix: switch to command mode on ESC in console.

fix #3484.
---
 packages/console/src/widget.ts | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/packages/console/src/widget.ts b/packages/console/src/widget.ts
index f3d610711074..199845174a65 100644
--- a/packages/console/src/widget.ts
+++ b/packages/console/src/widget.ts
@@ -613,6 +613,11 @@ export class CodeConsole extends Widget {
     if (event.keyCode === 13 && !editor.hasFocus()) {
       event.preventDefault();
       editor.focus();
+    } else if (event.keyCode === 27 && editor.hasFocus()) {
+      // Set to command mode
+      event.preventDefault();
+      event.stopPropagation();
+      this.node.focus();
     }
   }