fixup 82651ed6: recreate widgets for active line if needed
This commit is contained in:
parent
326dc5fb86
commit
c8c02805f4
|
@ -151,7 +151,7 @@ function createAppliesToLineWidget(cm) {
|
||||||
|
|
||||||
// decide search range
|
// decide search range
|
||||||
const fromIndex = widgets[i] ? cm.indexFromPos({line: widgets[i].line.lineNo(), ch: 0}) : 0;
|
const fromIndex = widgets[i] ? cm.indexFromPos({line: widgets[i].line.lineNo(), ch: 0}) : 0;
|
||||||
const toIndex = cm.indexFromPos({line: widgets[j] ? widgets[j].line.lineNo() : toLine, ch: 0});
|
const toIndex = cm.indexFromPos({line: (widgets[j] ? widgets[j].line.lineNo() : toLine) + 1, ch: 0});
|
||||||
|
|
||||||
// splice
|
// splice
|
||||||
i = Math.max(0, i);
|
i = Math.max(0, i);
|
||||||
|
|
Loading…
Reference in New Issue
Block a user