rename document to session

Author: fjakobs

build_support/boot.js

@@ -51,20 +51,20 @@ var ace = {
         var env = require("pilot/environment").create();
         var catalog = require("pilot/plugin_manager").catalog;
         catalog.startupPlugins({ env: env }).then(function() {
-            var Document = require("ace/document").Document;
+            var EditSession = require("ace/edit_session").EditSession;
             var JavaScriptMode = require("ace/mode/javascript").Mode;
             var UndoManager = require("ace/undomanager").UndoManager;
             var Editor = require("ace/editor").Editor;
             var Renderer = require("ace/virtual_renderer").VirtualRenderer;
             var theme = require("ace/theme/textmate");
 
-            var doc = new Document(el.innerHTML);
+            var doc = new EditSession(el.innerHTML);
             el.innerHTML = '';
             doc.setMode(new JavaScriptMode());
             doc.setUndoManager(new UndoManager());
             env.document = doc;
             env.editor = new Editor(new Renderer(el, theme));
-            env.editor.setDocument(doc);
+            env.editor.setSession(doc);
             env.editor.resize();
             window.addEventListener("resize", function() {
                 env.editor.resize();

demo/startup.js

@@ -102,7 +102,7 @@ exports.launch = function(env) {
 
     var modeEl = document.getElementById("mode");
     function setMode() {
-        env.editor.getDocument().setMode(modes[modeEl.value] || modes.text);
+        env.editor.getSession().setMode(modes[modeEl.value] || modes.text);
     }
     modeEl.onchange = setMode;
     setMode();
@@ -120,7 +120,7 @@ exports.launch = function(env) {
     var docEl = document.getElementById("doc");
     function onDocChange() {
         var doc = docs[docEl.value];
-        env.editor.setDocument(doc);
+        env.editor.setSession(doc);
 
         var mode = doc.getMode();
         if (mode instanceof JavaScriptMode) {
@@ -240,7 +240,7 @@ exports.launch = function(env) {
                 env.editor.onTextInput(reader.result);
 
                 modeEl.value = mode;
-                env.editor.getDocument().setMode(modes[mode]);
+                env.editor.getSession().setMode(modes[mode]);
             };
             reader.readAsText(file);
         }

lib/ace/edit_session.js

@@ -77,6 +77,10 @@ var EditSession = function(text, mode) {
         doc.on("change", this.onChange.bind(this));
     };
 
+    this.getDocument = function() {
+        return this.doc;
+    };
+    
     this.onChange = function(e) {
         var delta = e.data;
         this.$modified = true;