work around Mozilla bug 1001853 with a slight delay in the .resizeAndDraw() call
authorRobert Kaiser <kairo@kairo.at>
Mon, 12 May 2014 01:13:37 +0000 (03:13 +0200)
committerRobert Kaiser <kairo@kairo.at>
Mon, 12 May 2014 01:13:37 +0000 (03:13 +0200)
js/ui.js

index c2f64af..7f0afd5 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;
-  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"));