Pick completion option with single- rather than double-click.

10 years ago · adf60dd1e2
parent 9472d85d6b
commit adf60dd1e2
1 changed files with 1 additions and 1 deletions
--- a/notebook/static/notebook/js/completer.js
+++ b/notebook/static/notebook/js/completer.js
@ -253,7 +253,7 @@ define([

            //build the container
            var that = this;
-            this.sel.dblclick(function () {
+            this.sel.click(function () {
                that.pick();
            });
            this._handle_keydown = function (cm, event) {