···11--- original
22+++ modified
33-@@ -30,7 +30,7 @@
33+@@ -31,7 +31,7 @@
44 // should be exported at the root. See <https://github.com/servo/servo/issues/18475>.
55 pub use accesskit;
66 pub use base::generic_channel::GenericSender;
···99 pub use embedder_traits::user_contents::UserScript;
1010 pub use embedder_traits::*;
1111 pub use image::RgbaImage;
1212-@@ -50,9 +50,12 @@
1212+@@ -51,9 +51,12 @@
1313 // This should be replaced with an API on ServoBuilder.
1414 // See <https://github.com/servo/servo/issues/40950>.
1515 pub use resources;
+6-6
patches/components/servo/servo.rs.patch
···99 use servo_geometry::{
1010 DeviceIndependentIntRect, convert_rect_to_css_pixel, convert_size_to_css_pixel,
1111 };
1212-@@ -206,9 +206,7 @@
1212+@@ -199,9 +199,7 @@
1313 }
14141515 if self.constellation_proxy.disconnected() {
···2020 }
21212222 self.paint.borrow_mut().perform_updates();
2323-@@ -260,10 +258,39 @@
2323+@@ -253,10 +251,39 @@
24242525 fn handle_delegate_errors(&self) {
2626 while let Some(error) = self.servo_errors.try_recv() {
···6161 fn clean_up_destroyed_webview_handles(&self) {
6262 // Remove any webview handles that have been destroyed and would not be upgradable.
6363 // Note that `retain` is O(capacity) because it visits empty buckets, so it may be worth
6464-@@ -421,6 +448,11 @@
6464+@@ -414,6 +441,11 @@
6565 webview.request_create_new(response_sender);
6666 }
6767 },
···7373 EmbedderMsg::WebViewClosed(webview_id) => {
7474 if let Some(webview) = self.get_webview_handle(webview_id) {
7575 webview.delegate().notify_closed(webview);
7676-@@ -574,10 +606,7 @@
7676+@@ -567,10 +599,7 @@
7777 .delegate
7878 .borrow()
7979 .notify_devtools_server_started(port, token),
···8585 },
8686 EmbedderMsg::RequestDevtoolsConnection(response_sender) => {
8787 self.delegate
8888-@@ -702,6 +731,47 @@
8888+@@ -695,6 +724,47 @@
8989 .notify_accessibility_tree_update(webview, tree_update);
9090 }
9191 },
···133133 }
134134 }
135135 }
136136-@@ -944,6 +1014,14 @@
136136+@@ -937,6 +1007,14 @@
137137 ));
138138 }
139139