mirror of
https://github.com/servo/servo
synced 2026-05-09 00:22:16 +02:00
a script query. This will, rather unfortunately, mean that we might repaint two times if we've deferred a paint, then get an out-of-band reflow. Still seemed better than not suppressing paints at all. Fixes #13131