Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-23 07:13:52 +01:00
Code Issues Projects Releases Packages Wiki Activity

Simplify the Page URL handling in handle_resize_inactive_msg.

Browse source 
This also makes it more obvious what's actually happening.
This commit is contained in:
Ms2ger 2014-09-27 13:49:09 +02:00
parent a2220f1ea4
commit a12f2b9f06
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
components/script/script_task.rs
View file

@ -651,10 +651,9 @@ impl ScriptTask {
let page = page.find(id).expect("Received resize message for PipelineId not associated
with a page in the page tree. This is a bug.");
page.window_size.deref().set(new_size);
let mut page_url = page.mut_url();
let last_loaded_url = replace(&mut *page_url, None);
for url in last_loaded_url.iter() {
*page_url = Some((url.ref0().clone(), true));
match &mut *page.mut_url() {
&Some((_, ref mut needs_reflow)) => *needs_reflow = true,
&None => (),
}
}