mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-03-01 12:56:54 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fixed multicursor backspacing (#4880)

Browse Source
This commit is contained in:
Ben Thayer 2020-06-03 05:13:34 -05:00 committed by GitHub
parent 6b83c9b4c5
commit d406b8c6a3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 28 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

46
notebook/static/notebook/js/codecell.js
View File

@ -52,25 +52,35 @@ define([
* @private
*/
CodeMirror.commands.delSpaceToPrevTabStop = function(cm){
var from = cm.getCursor(true), to = cm.getCursor(false), sel = !posEq(from, to);
if (sel) {
var ranges = cm.listSelections();
for (var i = ranges.length - 1; i >= 0; i--) {
var head = ranges[i].head;
var anchor = ranges[i].anchor;
cm.replaceRange("", CodeMirror.Pos(head.line, head.ch), CodeMirror.Pos(anchor.line, anchor.ch));
var tabSize = cm.getOption('tabSize');
var ranges = cm.listSelections(); // handle multicursor
for (var i = ranges.length - 1; i >= 0; i--) { // iterate reverse so any deletions don't overlap
var head = ranges[i].head;
var anchor = ranges[i].anchor;
var sel = !posEq(head, anchor);
if (sel) {
// range is selection
cm.replaceRange("", anchor, head);
} else {
// range is cursor
var line = cm.getLine(head.line).substring(0, head.ch);
if( line.match(/^\ +$/) !== null){
// delete tabs
var prevTabStop = (Math.ceil(head.ch/tabSize)-1)*tabSize;
var from = {
ch: prevTabStop,
line: head.line
};
cm.replaceRange("", from, head);
} else {
// delete non-tabs
var from = {
ch: head.ch-1,
line: head.line
};
cm.replaceRange("", from, head);
}
}
return;
}
var cur = cm.getCursor(), line = cm.getLine(cur.line);
var tabsize = cm.getOption('tabSize');
var chToPrevTabStop = cur.ch-(Math.ceil(cur.ch/tabsize)-1)*tabsize;
from = {ch:cur.ch-chToPrevTabStop,line:cur.line};
var select = cm.getRange(from,cur);
if( select.match(/^\ +$/) !== null){
cm.replaceRange("",from,cur);
} else {
cm.deleteH(-1,"char");
}
};