mirror of
https://github.com/servo/servo
synced 2026-05-09 16:42:16 +02:00
Instead of relying on `Sevo::animating()` in servoshell to drive the event loop, it is sufficient to just let the `RefreshDriver` wake it up when it is time to re-render. This allows us to remove `Servo::animating()` completely. It is a bit odd that there is a global API to track this, rather than per-`WebView` or window, so this change just removes it entirely. Testing: This should make the main loop of headless servoshell more efficient, but I do not think this difference is going to be observable in any way. Signed-off-by: Martin Robinson <mrobinson@igalia.com>