add missing options
This commit is contained in:
parent
fd2191e76e
commit
b61ae38c14
4 changed files with 25 additions and 13 deletions
|
|
@ -491,10 +491,7 @@ var EditSession = function(text, mode) {
|
|||
*
|
||||
**/
|
||||
this.setOverwrite = function(overwrite) {
|
||||
if (this.$overwrite == overwrite) return;
|
||||
|
||||
this.$overwrite = overwrite;
|
||||
this._emit("changeOverwrite");
|
||||
this.setOption("overwrite", overwrite)
|
||||
};
|
||||
|
||||
/**
|
||||
|
|
@ -2437,6 +2434,15 @@ config.defineOptions(EditSession.prototype, "session", {
|
|||
},
|
||||
initialValue: 4,
|
||||
handlesSet: true
|
||||
},
|
||||
overwrite: {
|
||||
set: function(val) {this._emit("changeOverwrite");},
|
||||
initialValue: false
|
||||
},
|
||||
newLineMode: {
|
||||
set: function(val) {this.doc.setNewLineMode(val)},
|
||||
get: function() {return this.doc.getNewLineMode(newLineMode)},
|
||||
handlesSet: true
|
||||
}
|
||||
});
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue