diff options
| author | bors-servo <metajack+bors@gmail.com> | 2015-08-13 12:41:48 -0600 |
|---|---|---|
| committer | bors-servo <metajack+bors@gmail.com> | 2015-08-13 12:41:48 -0600 |
| commit | f3b7c5cb4b0fab20db51b7560c3b3bb2d115be69 (patch) | |
| tree | 641839113b88328ca3cf049fb1f4a74b881686ac /components/script/script_task.rs | |
| parent | 94c8dcd575a5187e02ec043c686b1cdfa6b30ba6 (diff) | |
| parent | 820c74649b8f775b0239b67a16dfc4af4b5411b8 (diff) | |
| download | servo-f3b7c5cb4b0fab20db51b7560c3b3bb2d115be69.tar.gz servo-f3b7c5cb4b0fab20db51b7560c3b3bb2d115be69.zip | |
Auto merge of #7132 - jdm:docenum, r=ms2ger
Document the use and meaning of the devtools control messages. Fixes …
…#6922.
<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/7132)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/script_task.rs')
| -rw-r--r-- | components/script/script_task.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/components/script/script_task.rs b/components/script/script_task.rs index d439d4e8c97..b1f77f7a6f4 100644 --- a/components/script/script_task.rs +++ b/components/script/script_task.rs @@ -909,8 +909,8 @@ impl ScriptTask { devtools::handle_set_timeline_markers(&page, self, marker_types, reply), DevtoolScriptControlMsg::DropTimelineMarkers(_pipeline_id, marker_types) => devtools::handle_drop_timeline_markers(&page, self, marker_types), - DevtoolScriptControlMsg::RequestAnimationFrame(pipeline_id, callback) => - devtools::handle_request_animation_frame(&page, pipeline_id, callback), + DevtoolScriptControlMsg::RequestAnimationFrame(pipeline_id, name) => + devtools::handle_request_animation_frame(&page, pipeline_id, name), } } |