From 14acbcf7790763d4377947b6936c3f067b28646c Mon Sep 17 00:00:00 2001
From: Robert Kaiser <kairo@kairo.at>
Date: Mon, 12 May 2014 03:13:37 +0200
Subject: [PATCH] work around Mozilla bug 1001853 with a slight delay in the
 .resizeAndDraw() call

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

diff --git a/js/ui.js b/js/ui.js
index c2f64af..7f0afd5 100644
--- a/js/ui.js
+++ b/js/ui.js
@@ -66,7 +66,8 @@ function postInit(aEvent) {
   gAction.removeEventListener(aEvent.type, postInit, false);
   console.log("init done, draw map.");
   gMapPrefsLoaded = true;
-  gMap.resizeAndDraw();
+  //gMap.resizeAndDraw();  <-- HACK: This triggers bug 1001853, work around with a delay.
+  window.setTimeout(gMap.resizeAndDraw, 100);
   gActionLabel.textContent = "";
   gAction.style.display = "none";
   setTracking(document.getElementById("trackCheckbox"));
-- 
2.35.3