mirror of
https://github.com/servo/servo.git
synced 2025-08-07 06:25:32 +01:00
Only updated history once
This commit is contained in:
parent
4886788a8e
commit
56b3005721
1 changed files with 0 additions and 3 deletions
|
@ -3995,7 +3995,6 @@ where
|
||||||
new_context_info.is_visible,
|
new_context_info.is_visible,
|
||||||
);
|
);
|
||||||
self.update_activity(change.new_pipeline_id);
|
self.update_activity(change.new_pipeline_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) {
|
if let Some(pipeline) = self.pipelines.get(&old_pipeline_id) {
|
||||||
|
@ -4087,8 +4086,6 @@ where
|
||||||
);
|
);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
self.notify_history_changed(change.top_level_browsing_context_id);
|
|
||||||
},
|
},
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue