diff --git a/src/app/editor/editor.js b/src/app/editor/editor.js index b4465e37df..6ac2dcb0f5 100644 --- a/src/app/editor/editor.js +++ b/src/app/editor/editor.js @@ -78,6 +78,7 @@ class Editor { // Editor Setup const el = yo`
` this.editor = ace.edit(el) + ace.acequire('ace/ext/language_tools') // Unmap ctrl-l & cmd-l @@ -134,6 +135,12 @@ class Editor { } langTools.addCompleter(flowCompleter) + // zoom with Ctrl+wheel + window.addEventListener("wheel", (e) => { + if (e.ctrlKey && Math.abs(e.wheelY) > 5) + this.editorFontSize(e.wheelY > 0 ? 1 : -1) + }) + // EVENTS LISTENERS // Gutter Mouse down