diff options
Diffstat (limited to 'gn2/wqflask/templates/gn_editor.html')
| -rw-r--r-- | gn2/wqflask/templates/gn_editor.html | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gn2/wqflask/templates/gn_editor.html b/gn2/wqflask/templates/gn_editor.html index f2f57cec..112180e1 100644 --- a/gn2/wqflask/templates/gn_editor.html +++ b/gn2/wqflask/templates/gn_editor.html @@ -95,15 +95,13 @@ scrollPastEnd: 0, // number -> !maxLines: if positive, user can scroll pass the last line and go n * editorHeight more distance fixedWidthGutter: false, // boolean: true if the gutter should be fixed width theme: "ace/theme/dracula", // theme string from ace/theme or custom? + scrollSpeed: 2, // number: the scroll speed index - // mouseHandler options - scrollSpeed: 2, // number: the scroll speed index dragDelay: 0, // number: the drag delay before drag starts. it's 150ms for mac by default dragEnabled: true, // boolean: enable dragging focusTimout: 0, // number: the focus delay before focus starts. tooltipFollowsMouse: true, // boolean: true if the gutter tooltip should follow mouse - - // session options + // session options firstLineNumber: 1, // number: the line number in first line overwrite: false, // boolean newLineMode: 'auto', // "auto" | "unix" | "windows" @@ -111,10 +109,14 @@ useSoftTabs: true, // boolean: true if we want to use spaces than tabs tabSize: 4, // number wrap: true, // boolean | string | number: true/'free' means wrap instead of horizontal scroll, false/'off' means horizontal scroll instead of wrap, and number means number of column before wrap. -1 means wrap at print margin + indentedSoftWrap: true, // boolean foldStyle: 'markbegin', // enum: 'manual'/'markbegin'/'markbeginend'. mode: 'ace/mode/markdown' + } + + document.querySelector("#output").addEventListener("updateEditor", function(event){ console.log(event.detail.payload) console.log(event) |