fix mixed folding misses folds on lines drawn before tokenization is finished
This commit is contained in:
parent
04a308e00d
commit
127270a7aa
1 changed files with 2 additions and 0 deletions
|
|
@ -59,6 +59,8 @@ oop.inherits(FoldMode, BaseFoldMode);
|
||||||
};
|
};
|
||||||
|
|
||||||
this.getFoldWidget = function(session, foldStyle, row) {
|
this.getFoldWidget = function(session, foldStyle, row) {
|
||||||
|
if (session.bgTokenizer.currentLine < row)
|
||||||
|
return;
|
||||||
return (
|
return (
|
||||||
this.$tryMode(session.getState(row-1), session, foldStyle, row) ||
|
this.$tryMode(session.getState(row-1), session, foldStyle, row) ||
|
||||||
this.$tryMode(session.getState(row), session, foldStyle, row) ||
|
this.$tryMode(session.getState(row), session, foldStyle, row) ||
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue