diff options
| author | Josh Matthews <josh@joshmatthews.net> | 2014-10-06 11:52:11 -0400 |
|---|---|---|
| committer | Josh Matthews <josh@joshmatthews.net> | 2014-11-13 12:53:54 -0500 |
| commit | cbed5da9fa963958a42cf088baa8a68fea13a654 (patch) | |
| tree | ef1bfd631e2ff8aa192b0b236e92000313b08e06 | |
| parent | 80764f65e3e4895d3a012d6bc1d3bb8183ae15da (diff) | |
| download | servo-cbed5da9fa963958a42cf088baa8a68fea13a654.tar.gz servo-cbed5da9fa963958a42cf088baa8a68fea13a654.zip | |
Flush layout after executing timers.
| -rw-r--r-- | components/script/dom/window.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/components/script/dom/window.rs b/components/script/dom/window.rs index b4318b69fa3..a3664207b85 100644 --- a/components/script/dom/window.rs +++ b/components/script/dom/window.rs @@ -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(); } } |