work around Mozilla bug 1001853 with a slight delay in the .resizeAndDraw() call

diff --git a/js/ui.js b/js/ui.js
index c2f64af6871f19ef2aa58580807a733e8163e1ac..7f0afd5c9890e76e0d6f6a193441da17e3df813a 100644 (file)
--- 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;
   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"));
   gActionLabel.textContent = "";
   gAction.style.display = "none";
   setTracking(document.getElementById("trackCheckbox"));