Allow completion picking by double-clicking option.

10 years ago · 9472d85d6b
parent 3ea9c96bbc
commit 9472d85d6b
1 changed files with 0 additions and 3 deletions
--- a/notebook/static/notebook/js/completer.js
+++ b/notebook/static/notebook/js/completer.js
@ -256,9 +256,6 @@ define([
            this.sel.dblclick(function () {
                that.pick();
            });
-            this.sel.focus(function () {
-                that.editor.focus();
-            });
            this._handle_keydown = function (cm, event) {
                that.keydown(event);
            };