浏览代码

Close completion widget when 'Esc' is pressed

See Issue #601.
Lawrence Wu 8 年之前
父节点
当前提交
cb03f06592
共有 1 个文件被更改,包括 6 次插入0 次删除
  1. 6 0
      src/notebook/completion/widget.ts

+ 6 - 0
src/notebook/completion/widget.ts

@@ -312,6 +312,12 @@ class CompletionWidget extends Widget {
             event.stopImmediatePropagation();
             this._selectActive();
             return;
+          case 27: // Esc key
+            event.preventDefault();
+            event.stopPropagation();
+            event.stopImmediatePropagation();
+            this.reset();
+            return;
           case 38: // Up arrow key
           case 40: // Down arrow key
             event.preventDefault();