cleanup
This commit is contained in:
parent
121e0e51f4
commit
73808101cd
1 changed files with 3 additions and 3 deletions
|
|
@ -48,7 +48,7 @@ oop.inherits(FoldMode, BaseFoldMode);
|
|||
*/
|
||||
|
||||
this.foldingStartMarker = /(\bCASE\b|\bBEGIN\b)|^\s*(\/\*)/i;
|
||||
this.foldingStopMarker = /(\bEND\b)|^[\s\*]*(\*\/)/i;
|
||||
// this.foldingStopMarker = /(\bEND\b)|^[\s\*]*(\*\/)/i;
|
||||
this.startRegionRe = /^\s*(\/\*|--)#?region\b/;
|
||||
|
||||
this.getFoldWidgetRange = function(session, foldStyle, row, forceMultiline) {
|
||||
|
|
@ -65,7 +65,6 @@ oop.inherits(FoldMode, BaseFoldMode);
|
|||
if (range && !range.isMultiLine()) {
|
||||
if (forceMultiline) {
|
||||
range = this.getSectionRange(session, row);
|
||||
console.log('getSectionRange', range);
|
||||
}
|
||||
else if (foldStyle != "all") range = null;
|
||||
}
|
||||
|
|
@ -73,7 +72,8 @@ oop.inherits(FoldMode, BaseFoldMode);
|
|||
return range;
|
||||
}
|
||||
|
||||
if (foldStyle === "markbegin") return; //no support for end folding markers yet
|
||||
if (foldStyle === "markbegin") return;
|
||||
//TODO: add support for end folding markers
|
||||
return;
|
||||
};
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue