diff options
| author | Patrick Walton <pcwalton@mimiga.net> | 2016-05-24 18:40:39 -0700 |
|---|---|---|
| committer | Patrick Walton <pcwalton@mimiga.net> | 2016-05-31 14:12:51 -0700 |
| commit | a86f77e36d310737ce9e87e1ab49340cfdd89ed7 (patch) | |
| tree | 30528e057adaba030572a475c97b88d1a30dc0d1 /components/profile_traits/time.rs | |
| parent | 55b0bb027caba9ca4f3fb091c55a53c24380dccb (diff) | |
| download | servo-a86f77e36d310737ce9e87e1ab49340cfdd89ed7.tar.gz servo-a86f77e36d310737ce9e87e1ab49340cfdd89ed7.zip | |
script: Keep the DOM-side viewport up to date when scrolling happens in
WebRender.
This happens asynchronously, just as it does in non-WebRender mode.
This functionality is a prerequisite for doing proper display-list-based
hit testing in WebRender, since it moves the scroll offsets into Servo
(and, specifically, into the script thread, enabling iframe event
forwarding) instead of keeping them private to WebRender.
Requires servo/webrender_traits#55 and servo/webrender#277.
Partially addresses #11108.
Diffstat (limited to 'components/profile_traits/time.rs')
| -rw-r--r-- | components/profile_traits/time.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/components/profile_traits/time.rs b/components/profile_traits/time.rs index 5d9a95ddd60..4083f3f3c14 100644 --- a/components/profile_traits/time.rs +++ b/components/profile_traits/time.rs @@ -73,6 +73,7 @@ pub enum ProfilerCategory { ScriptParseHTML, ScriptPlannedNavigation, ScriptResize, + ScriptSetScrollState, ScriptSetViewport, ScriptTimerEvent, ScriptStylesheetLoad, |