zoom in/out with Ctrl+wheel

src/app/editor/editor.js

@@ -78,6 +78,7 @@ class Editor {
     // Editor Setup
     const el = yo`<div id="input"></div>`
     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