Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #4385 : pcwalton/servo/page-double-borrow, r=jdm

Browse source 
This was my fault. It comes up on almost any page after scrolling a bit.

r? @jdm
This commit is contained in:
bors-servo 2014-12-15 20:54:44 -07:00
commit fb5c1bef6f
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script/script_task.rs
View file

@ -495,7 +495,7 @@ impl ScriptTask {
let page = self.page.borrow_mut();
let inner_page = page.find(id).expect("Page rect message sent to nonexistent pipeline");
if inner_page.set_page_clip_rect_with_new_viewport(rect) {
let page = get_page(&*self.page.borrow(), id);
let page = get_page(&*page, id);
self.force_reflow(&*page);
}
}