add simple foldWidgets
This commit is contained in:
parent
8c1d415bdd
commit
3412f89007
6 changed files with 89 additions and 3 deletions
|
|
@ -591,7 +591,15 @@ function Folding() {
|
|||
|
||||
this.addFold(placeholder, range);
|
||||
};
|
||||
|
||||
// structured folding
|
||||
this.$setFolding = function(mode) {
|
||||
};
|
||||
|
||||
this.onFoldWidgetClick = function(e) {
|
||||
};
|
||||
}
|
||||
|
||||
exports.Folding = Folding;
|
||||
|
||||
});
|
||||
Loading…
Add table
Add a link
Reference in a new issue