diff options
| author | benshu <benshu@benshu.de> | 2015-11-19 07:57:04 +0100 |
|---|---|---|
| committer | benshu <benshu@benshu.de> | 2016-02-20 22:43:16 +0100 |
| commit | f2d4a7bbca08a8d1079cc2152966535748992304 (patch) | |
| tree | 52f4f02dee2f5ded066142294fbdbb9f449eab50 /components/script/dom/webglshaderprecisionformat.rs | |
| parent | 581aa1a14f7a24db9068a94c3fb1e7326aaa7024 (diff) | |
| download | servo-f2d4a7bbca08a8d1079cc2152966535748992304.tar.gz servo-f2d4a7bbca08a8d1079cc2152966535748992304.zip | |
Clean up of script timer code.
The code was split into the following two abstractions.
- OneshotTimers can be used to schedule arbitrary oneshot timers, such
as XHR-Timeouts.
- JsTimers (`setTimeout` and `setInterval`) which use OneshotTimers to
schedule individual callbacks.
With this change the implementation (of JsTimers in particular) is in
much closer alignment with the specification.
Diffstat (limited to 'components/script/dom/webglshaderprecisionformat.rs')
0 files changed, 0 insertions, 0 deletions