Implement EditSession.removeFold.
This commit is contained in:
parent
9ff0df758a
commit
ccfe285bab
2 changed files with 45 additions and 1 deletions
|
|
@ -384,7 +384,7 @@ var Editor =function(renderer, session) {
|
|||
|
||||
this.onChangeFold = function() {
|
||||
// TODO: This might be too much updating. Okay for now.
|
||||
this.render.updateFull();
|
||||
this.renderer.updateFull();
|
||||
};
|
||||
|
||||
this.getCopyText = function() {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue