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)

No differences found