From 30e6b08edb621a510f99dadbd919807a1b77c340 Mon Sep 17 00:00:00 2001
From: Daniel Naber <naber@danielnaber.de>
Date: Wed, 15 Jul 2015 12:27:55 +0200
Subject: [PATCH] re-add workaround for issue #7 as it helps a lot here, even
 though it's not a 100% fix

---
 lib/main.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/main.js b/lib/main.js
index af99861..428af8b 100644
--- a/lib/main.js
+++ b/lib/main.js
@@ -131,8 +131,8 @@ function changeDictionary(language)
 
     // focus into textarea after page load sometimes doesn't set the spell dictionary
     // properly (even though detection works), this helps but doesn't fix it completely (issue #7):
-    
-    spellchecker.dictionary = dictionary;
+    var { setTimeout } = require("sdk/timers");
+    setTimeout(function() {spellchecker.dictionary = dictionary;}, 10);
 
     const feedbackData = {
         language: null,