diff --git a/lib/ace/edit_session/folding.js b/lib/ace/edit_session/folding.js index d402131b..9805df41 100644 --- a/lib/ace/edit_session/folding.js +++ b/lib/ace/edit_session/folding.js @@ -710,6 +710,15 @@ function Folding() { var range = this.getFoldWidgetRange(row); if (range) { + // sometimes singleline folds can be missed by the code above + if (!range.isMultiLine()) { + fold = this.getFoldAt(range.start.row, range.start.column, 1); + if (fold && range.isEequal(fold.range)) { + this.removeFold(fold); + return; + } + } + if (!onlySubfolds) this.addFold("...", range);