Fix bug adding new characters right before a fold caused the chars to get added inside of the fold
This commit is contained in:
parent
4beecc086a
commit
15d2c50117
1 changed files with 7 additions and 2 deletions
|
|
@ -924,8 +924,13 @@ var EditSession = function(text, mode) {
|
||||||
// for (var i = 0; i <= )
|
// for (var i = 0; i <= )
|
||||||
var ret = foldLine.getNextFoldTo(firstRow, column);
|
var ret = foldLine.getNextFoldTo(firstRow, column);
|
||||||
if (ret) {
|
if (ret) {
|
||||||
if (ret.kind == "inside") {
|
var fold = ret.fold;
|
||||||
// TODO
|
if (ret.kind == "inside"
|
||||||
|
&& fold.start.column != column
|
||||||
|
&& fold.start.row != firstRow)
|
||||||
|
{
|
||||||
|
// TODO: Implement adding new characters inside of an
|
||||||
|
// fold. This should extend/remove the fold etc.
|
||||||
} else if (ret.fold.start.row == firstRow){
|
} else if (ret.fold.start.row == firstRow){
|
||||||
var folds = foldLine.folds;
|
var folds = foldLine.folds;
|
||||||
for (var i = folds.indexOf(ret.fold); i < folds.length; i++) {
|
for (var i = folds.indexOf(ret.fold); i < folds.length; i++) {
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue