##// 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 var IPython = (function (IPython) {
215 215 }
216 216
217 217 if (!this.visible) {
218 console.log('add div');
219 218 this.complete = $('<div/>').addClass('completions');
220 219 this.complete.attr('id', 'complete');
221 220
@@ -358,14 +357,6 var IPython = (function (IPython) {
358 357 code == keycodes.enter
359 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 360 this.close();
370 361 this.editor.focus();
371 362 setTimeout(function () {
General Comments 0
You need to be logged in to leave comments. Login now