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

Mark pipelines not visible when updating the active pipeline for a browsing context.

Browse source
This commit is contained in:
Josh Matthews 2019-03-07 09:28:36 -05:00
parent cc131be2e0
commit 0e30666d18
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
components/constellation/constellation.rs
View file

@ -2655,6 +2655,13 @@ where
}, },
}; };
if let Some(old_pipeline) = self.pipelines.get(&old_pipeline_id) {
old_pipeline.notify_visibility(false);
}
if let Some(new_pipeline) = self.pipelines.get(&new_pipeline_id) {
new_pipeline.notify_visibility(true);
}
self.update_activity(old_pipeline_id); self.update_activity(old_pipeline_id);
self.update_activity(new_pipeline_id); self.update_activity(new_pipeline_id);
@ -3373,6 +3380,10 @@ where
self.notify_history_changed(change.top_level_browsing_context_id); self.notify_history_changed(change.top_level_browsing_context_id);
}, },
Some(old_pipeline_id) => { Some(old_pipeline_id) => {
if let Some(pipeline) = self.pipelines.get(&old_pipeline_id) {
pipeline.notify_visibility(false);
}
// https://html.spec.whatwg.org/multipage/#unload-a-document // https://html.spec.whatwg.org/multipage/#unload-a-document
self.unload_document(old_pipeline_id); self.unload_document(old_pipeline_id);
// Deactivate the old pipeline, and activate the new one. // Deactivate the old pipeline, and activate the new one.