From e59bc99a47fd80427e9b7a17f0ec0a4e1e6ba02e Mon Sep 17 00:00:00 2001 From: Fabian Jakobs Date: Wed, 19 Jan 2011 08:53:47 +0100 Subject: [PATCH] fix demo --- demo/startup.js | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/demo/startup.js b/demo/startup.js index b2e473a8..e3a9e1a3 100644 --- a/demo/startup.js +++ b/demo/startup.js @@ -44,8 +44,8 @@ exports.launch = function(env) { var event = require("pilot/event"); var Editor = require("ace/editor").Editor; var Renderer = require("ace/virtual_renderer").VirtualRenderer; - var theme = require("ace/theme/textmate"); - var Document = require("ace/document").Document; + var theme = require("ace/theme/textmate"); + var EditSession = require("ace/edit_session").EditSession; var JavaScriptMode = require("ace/mode/javascript").Mode; var CssMode = require("ace/mode/css").Mode; var HtmlMode = require("ace/mode/html").Mode; @@ -61,23 +61,23 @@ exports.launch = function(env) { var docs = {}; - docs.js = new Document(document.getElementById("jstext").innerHTML); + docs.js = new EditSession(document.getElementById("jstext").innerHTML); docs.js.setMode(new JavaScriptMode()); docs.js.setUndoManager(new UndoManager()); - docs.css = new Document(document.getElementById("csstext").innerHTML); + docs.css = new EditSession(document.getElementById("csstext").innerHTML); docs.css.setMode(new CssMode()); docs.css.setUndoManager(new UndoManager()); - docs.html = new Document(document.getElementById("htmltext").innerHTML); + docs.html = new EditSession(document.getElementById("htmltext").innerHTML); docs.html.setMode(new HtmlMode()); docs.html.setUndoManager(new UndoManager()); - docs.python = new Document(document.getElementById("pythontext").innerHTML); + docs.python = new EditSession(document.getElementById("pythontext").innerHTML); docs.python.setMode(new PythonMode()); docs.python.setUndoManager(new UndoManager()); - docs.php = new Document(document.getElementById("phptext").innerHTML); + docs.php = new EditSession(document.getElementById("phptext").innerHTML); docs.php.setMode(new PhpMode()); docs.php.setUndoManager(new UndoManager());