Add sub folding feature. addFold can take a Fold object now.

This commit is contained in:
Julian Viereck 2011-04-28 20:04:45 +02:00
commit f695c253f5
3 changed files with 74 additions and 7 deletions

View file

@ -495,7 +495,7 @@ exports.launch = function(env) {
exec: function() {
var session = env.editor.session,
range = env.editor.selection.getRange();
session.removeFolds(session.getFoldsInRange(range));
session.expandFolds(session.getFoldsInRange(range));
}
});
};