Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Flush layout after executing timers.

Browse source
This commit is contained in:
Josh Matthews 2014-10-06 11:52:11 -04:00
parent 80764f65e3
commit cbed5da9fa
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/script/dom/window.rs
View file

@ -382,6 +382,7 @@ impl<'a> WindowHelpers for JSRef<'a, Window> {
fn handle_fire_timer(self, timer_id: TimerId, cx: *mut JSContext) {
let this_value = self.reflector().get_jsobject();
self.timers.fire_timer(timer_id, this_value, cx);
self.flush_layout();
}
}