##// END OF EJS Templates
Backport PR #2498: Don't catch tab press when something selected...
MinRK -
Show More
@@ -108,6 +108,7 b' var IPython = (function (IPython) {'
108 } else if (event.keyCode === key.TAB && event.type == 'keydown') {
108 } else if (event.keyCode === key.TAB && event.type == 'keydown') {
109 // Tab completion.
109 // Tab completion.
110 //Do not trim here because of tooltip
110 //Do not trim here because of tooltip
111 if (editor.somethingSelected()){return false}
111 var pre_cursor = editor.getRange({line:cur.line,ch:0},cur);
112 var pre_cursor = editor.getRange({line:cur.line,ch:0},cur);
112 if (pre_cursor.trim() === "") {
113 if (pre_cursor.trim() === "") {
113 // Don't autocomplete if the part of the line before the cursor
114 // Don't autocomplete if the part of the line before the cursor
General Comments 0
You need to be logged in to leave comments. Login now