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)
commit14acbcf7790763d4377947b6936c3f067b28646c
tree23178bac3b572bdea0f4793eba473e225d1752d2
parent628ba7786881c654dabc14e966283b92c6b6dd28
work around Mozilla bug 1001853 with a slight delay in the .resizeAndDraw() call
js/ui.js