···498498 /// Check the origin of a message against that of the pipeline it came from.
499499 /// Note: this is still limited as a security check,
500500 /// see <https://github.com/servo/servo/issues/11722>
501501-@@ -3178,6 +3493,13 @@
501501+@@ -3204,6 +3519,13 @@
502502 /// <https://html.spec.whatwg.org/multipage/#destroy-a-top-level-traversable>
503503 fn handle_close_top_level_browsing_context(&mut self, webview_id: WebViewId) {
504504 debug!("{webview_id}: Closing");
···512512 let browsing_context_id = BrowsingContextId::from(webview_id);
513513 // Step 5. Remove traversable from the user agent's top-level traversable set.
514514 let browsing_context =
515515-@@ -3454,8 +3776,27 @@
515515+@@ -3480,8 +3802,27 @@
516516 opener_webview_id,
517517 opener_pipeline_id,
518518 response_sender,
···540540 let Some((webview_id_sender, webview_id_receiver)) = generic_channel::channel() else {
541541 warn!("Failed to create channel");
542542 let _ = response_sender.send(None);
543543-@@ -3554,6 +3895,361 @@
543543+@@ -3580,6 +3921,361 @@
544544 });
545545 }
546546···902902 #[servo_tracing::instrument(skip_all)]
903903 fn handle_refresh_cursor(&self, pipeline_id: PipelineId) {
904904 let Some(pipeline) = self.pipelines.get(&pipeline_id) else {
905905-@@ -4680,7 +5376,7 @@
905905+@@ -4705,7 +5401,7 @@
906906 }
907907908908 #[servo_tracing::instrument(skip_all)]
···911911 // Send a flat projection of the history to embedder.
912912 // The final vector is a concatenation of the URLs of the past
913913 // entries, the current entry and the future entries.
914914-@@ -4783,9 +5479,23 @@
914914+@@ -4808,9 +5504,23 @@
915915 );
916916 self.embedder_proxy.send(EmbedderMsg::HistoryChanged(
917917 webview_id,
···88 use dom_struct::dom_struct;
99 use embedder_traits::{
1010 EmbedderMsg, Notification as EmbedderNotification,
1111-@@ -270,11 +271,22 @@
1111+@@ -269,11 +270,22 @@
1212 if !shown {
1313 // TODO: step 6.1: Append notification to the list of notifications.
1414 // step 6.2: Display notification on the device
···3636 }
37373838 // TODO: step 7: If shown is false or oldNotification is non-null,
3939-@@ -857,6 +869,11 @@
3939+@@ -856,6 +868,11 @@
4040 for (request, resource_type) in pending_requests {
4141 self.fetch_and_show_when_ready(request, resource_type);
4242 }