range.clone in getFoldsInRange is slow
This commit is contained in:
parent
e71fd47153
commit
09e753941f
1 changed files with 3 additions and 1 deletions
|
|
@ -66,7 +66,6 @@ function Folding() {
|
||||||
*
|
*
|
||||||
*/
|
*/
|
||||||
this.getFoldsInRange = function(range) {
|
this.getFoldsInRange = function(range) {
|
||||||
range = range.clone();
|
|
||||||
var start = range.start;
|
var start = range.start;
|
||||||
var end = range.end;
|
var end = range.end;
|
||||||
var foldLines = this.$foldData;
|
var foldLines = this.$foldData;
|
||||||
|
|
@ -104,6 +103,9 @@ function Folding() {
|
||||||
foundFolds.push(fold);
|
foundFolds.push(fold);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
start.column -= 1;
|
||||||
|
end.column += 1;
|
||||||
|
|
||||||
return foundFolds;
|
return foundFolds;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue