##// END OF EJS Templates
Merge pull request #7686 from juhasch/shift-tab...
Matthias Bussonnier -
r20352:e96b379f merge
parent child Browse files
Show More
@@ -339,6 +339,12 define([
339 return false;
339 return false;
340 }
340 }
341 }
341 }
342 var pre_cursor = editor.getRange({line:cur.line,ch:0},cur);
343 if (pre_cursor.trim() === "") {
344 // Don't show tooltip if the part of the line before the cursor
345 // is empty. In this case, let CodeMirror handle indentation.
346 return false;
347 }
342 this.tooltip.request(that);
348 this.tooltip.request(that);
343 event.codemirrorIgnore = true;
349 event.codemirrorIgnore = true;
344 event.preventDefault();
350 event.preventDefault();
General Comments 0
You need to be logged in to leave comments. Login now