mozilla/servo — pull request #583 by eschweic (2013-07-11 22:35:15+00:00)
Title: Fix quadtree zoom and request flood bugs

Fixes an issue where the screen did not paint correctly after zooming, as well as a bug that flooded the renderer with redundant requests.