From d0bc62ceb97b8791e799bbce901c3739b2d08cd3 Mon Sep 17 00:00:00 2001
From: LianaHus <liana@ethdev.com>
Date: Sat, 13 Apr 2019 13:38:30 +0200
Subject: [PATCH] zoom in/out with Ctrl+wheel

---
 src/app/editor/editor.js | 7 +++++++
 1 file changed, 7 insertions(+)

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`<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