Searched refs:foldingStopMarker (Results 1 – 2 of 2) sorted by relevance
33 …foldingStopMarker=new RegExp(this.foldingStopMarker.source.replace(/\|[^|]*?$/,"|"+e.end)))};i.inh…
1 …foldingStopMarker=null,this.getFoldWidget=function(e,t,n){var r=e.getLine(n);return this.foldingSt… property