mirror of
https://github.com/jupyter/notebook.git
synced 2025-01-12 11:45:38 +08:00
Merge pull request #7686 from juhasch/shift-tab
Make shift-tab work as "indent-less" operation, too
This commit is contained in:
commit
e154634ebf
@ -339,6 +339,12 @@ define([
|
||||
return false;
|
||||
}
|
||||
}
|
||||
var pre_cursor = editor.getRange({line:cur.line,ch:0},cur);
|
||||
if (pre_cursor.trim() === "") {
|
||||
// Don't show tooltip if the part of the line before the cursor
|
||||
// is empty. In this case, let CodeMirror handle indentation.
|
||||
return false;
|
||||
}
|
||||
this.tooltip.request(that);
|
||||
event.codemirrorIgnore = true;
|
||||
event.preventDefault();
|
||||
|
Loading…
Reference in New Issue
Block a user