From f2efff64fdc7aee19cad7a5f434a48d2bc521126 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Mon, 25 Dec 2017 09:28:26 +0300
Subject: [PATCH] FF weird bug workaround: delay initLint() by 100ms

---
 edit/edit.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/edit/edit.js b/edit/edit.js
index 0b9dc146..cffdb1b0 100644
--- a/edit/edit.js
+++ b/edit/edit.js
@@ -261,7 +261,8 @@ function initHooks() {
   $('#save-button').addEventListener('click', save, false);
   $('#sections-help').addEventListener('click', showSectionHelp, false);
 
-  initLint();
+  // TODO: investigate why FF needs this delay
+  debounce(initLint, FIREFOX ? 100 : 0);
 
   if (!FIREFOX) {
     $$([