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;