add forwarding for session options
This commit is contained in:
parent
d469335936
commit
08baf748f6
1 changed files with 8 additions and 1 deletions
|
|
@ -2144,9 +2144,16 @@ config.defineOptions(Editor.prototype, "editor", {
|
||||||
showFoldWidgets: "renderer",
|
showFoldWidgets: "renderer",
|
||||||
showGutter: "renderer",
|
showGutter: "renderer",
|
||||||
displayIndentGuides: "renderer",
|
displayIndentGuides: "renderer",
|
||||||
|
|
||||||
scrollSpeed: "$mouseHandler",
|
scrollSpeed: "$mouseHandler",
|
||||||
dragDelay: "$mouseHandler",
|
dragDelay: "$mouseHandler",
|
||||||
focusTimout: "$mouseHandler"
|
focusTimout: "$mouseHandler",
|
||||||
|
|
||||||
|
firstLineNumber: "session",
|
||||||
|
useWorker: "session",
|
||||||
|
useSoftTabs: "session",
|
||||||
|
tabSize: "session",
|
||||||
|
wrap: "session"
|
||||||
});
|
});
|
||||||
|
|
||||||
exports.Editor = Editor;
|
exports.Editor = Editor;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue