patches/components/servo/lib.rs.patch at main · me.webbeef.org/browser.html

Rewild Your Web

web browser dweb

browser.html / patches / components / servo / lib.rs.patch

at main 25 lines 1.0 kB view raw

 1--- original
 2+++ modified
 3@@ -30,7 +30,7 @@
 4 // should be exported at the root. See <https://github.com/servo/servo/issues/18475>.
 5 pub use accesskit;
 6 pub use base::generic_channel::GenericSender;
 7-pub use base::id::WebViewId;
 8+pub use base::id::{BrowsingContextId, PipelineId, WebViewId};
 9 pub use embedder_traits::user_contents::UserScript;
10 pub use embedder_traits::*;
11 pub use image::RgbaImage;
12@@ -50,9 +50,12 @@
13 // This should be replaced with an API on ServoBuilder.
14 // See <https://github.com/servo/servo/issues/40950>.
15 pub use resources;
16+pub use servo_config::embedder_prefs::PrefsPersistError;
17 pub use servo_config::opts::{DiagnosticsLogging, Opts, OutputOptions};
18 pub use servo_config::prefs::{PrefValue, Preferences, UserAgentPlatform};
19-pub use servo_config::{opts, pref, prefs};
20+pub use servo_config::{
21+    EmbedderPreferences, define_embedder_prefs, embedder_prefs, opts, pref, prefs,
22+};
23 pub use servo_geometry::{
24     DeviceIndependentIntRect, DeviceIndependentPixel, convert_rect_to_css_pixel,
25 };