##// 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 b' define(['
339 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 348 this.tooltip.request(that);
343 349 event.codemirrorIgnore = true;
344 350 event.preventDefault();
General Comments 0
You need to be logged in to leave comments. Login now