add options for theme and mode

2013-12-04 01:48:18 +04:00 · 2013-12-04 01:48:18 +04:00 · 10e2c3049c
commit 10e2c3049c
parent 6285bf5d5a
3 changed files with 20 additions and 7 deletions
--- a/lib/ace/edit_session.js
+++ b/lib/ace/edit_session.js
@ -2534,6 +2534,10 @@ config.defineOptions(EditSession.prototype, "session", {
        set: function(val) {this.doc.setNewLineMode(val)},
        get: function() {return this.doc.getNewLineMode()},
        handlesSet: true
+    },
+    mode: {
+        set: function(val) { this.setMode(val) },
+        get: function() { return this.$modeId }
    }
 });