work around Mozilla bug 1001853 with a slight delay in the .resizeAndDraw() call
[lantea.git] / js /
drwxr-xr-x   ..
-rw-r--r-- 44297 map.js
-rw-r--r-- 18010 ui.js