From 08baf748f65ae0b36af3fc4f645f835118ebf7fa Mon Sep 17 00:00:00 2001 From: nightwing Date: Wed, 13 Feb 2013 16:05:43 +0400 Subject: [PATCH] add forwarding for session options --- lib/ace/editor.js | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/lib/ace/editor.js b/lib/ace/editor.js index c87d0705..3f69e362 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -2144,9 +2144,16 @@ config.defineOptions(Editor.prototype, "editor", { showFoldWidgets: "renderer", showGutter: "renderer", displayIndentGuides: "renderer", + scrollSpeed: "$mouseHandler", dragDelay: "$mouseHandler", - focusTimout: "$mouseHandler" + focusTimout: "$mouseHandler", + + firstLineNumber: "session", + useWorker: "session", + useSoftTabs: "session", + tabSize: "session", + wrap: "session" }); exports.Editor = Editor;