diff --git a/components/script/devtools.rs b/components/script/devtools.rs index 08895a0ab1b..13f1614462c 100644 --- a/components/script/devtools.rs +++ b/components/script/devtools.rs @@ -205,10 +205,9 @@ pub fn handle_drop_timeline_markers(page: &Rc, pub fn handle_request_animation_frame(page: &Rc, id: PipelineId, actor_name: String) { let page = page.find(id).expect("There is no such page"); let doc = page.document(); - let devtools_sender = page.window().devtools_chan(); + let devtools_sender = page.window().devtools_chan().unwrap(); doc.r().request_animation_frame(box move |time| { - devtools_sender.unwrap() - .send(ScriptToDevtoolsControlMsg::FramerateTick(actor_name, time)) - .unwrap(); + let msg = ScriptToDevtoolsControlMsg::FramerateTick(actor_name, time); + devtools_sender.send(msg).unwrap(); }); }