##// END OF EJS Templates
Merge pull request #20 from ivanov/5320-last-thing...
Jonathan Frederic -
r15971:ed37e8a9 merge
parent child Browse files
Show More
@@ -215,7 +215,6 b' var IPython = (function (IPython) {'
215 }
215 }
216
216
217 if (!this.visible) {
217 if (!this.visible) {
218 console.log('add div');
219 this.complete = $('<div/>').addClass('completions');
218 this.complete = $('<div/>').addClass('completions');
220 this.complete.attr('id', 'complete');
219 this.complete.attr('id', 'complete');
221
220
@@ -358,14 +357,6 b' var IPython = (function (IPython) {'
358 code == keycodes.enter
357 code == keycodes.enter
359 ) return;
358 ) return;
360
359
361 var cur = this.editor.getCursor();
362 var completion = {
363 str: String.fromCharCode(event.which),
364 type: "introspection",
365 from: cur,
366 to: cur,
367 };
368
369 this.close();
360 this.close();
370 this.editor.focus();
361 this.editor.focus();
371 setTimeout(function () {
362 setTimeout(function () {
General Comments 0
You need to be logged in to leave comments. Login now