From 9cdecf84e206cd8ecca4b23e421c4b47ecd12e02 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 1 Aug 2020 19:17:07 +0300
Subject: [PATCH] revert 0f394fa8 (no longer needed)

---
 edit/source-editor.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/edit/source-editor.js b/edit/source-editor.js
index c4d1c041..7119cfa5 100644
--- a/edit/source-editor.js
+++ b/edit/source-editor.js
@@ -350,9 +350,6 @@ function createSourceEditor({style, onTitleChanged}) {
   }
 
   function headerOnScroll({target, deltaY, deltaMode, shiftKey}) {
-    if (target.tagName === 'INPUT' && target.type === 'number') {
-      return;
-    }
     while ((target = target.parentElement)) {
       if (deltaY < 0 && target.scrollTop ||
           deltaY > 0 && target.scrollTop + target.clientHeight < target.scrollHeight) {