diff options
Diffstat (limited to 'ports/servoshell')
| -rw-r--r-- | ports/servoshell/egl/android/resources.rs | 12 | ||||
| -rw-r--r-- | ports/servoshell/prefs.rs | 4 |
2 files changed, 4 insertions, 12 deletions
diff --git a/ports/servoshell/egl/android/resources.rs b/ports/servoshell/egl/android/resources.rs index d39015aece1..0726d639f38 100644 --- a/ports/servoshell/egl/android/resources.rs +++ b/ports/servoshell/egl/android/resources.rs @@ -21,23 +21,11 @@ impl ResourceReaderMethods for ResourceReaderInstance { }, Resource::BadCertHTML => &include_bytes!("../../../../resources/badcert.html")[..], Resource::NetErrorHTML => &include_bytes!("../../../../resources/neterror.html")[..], - Resource::UserAgentCSS => &include_bytes!("../../../../resources/user-agent.css")[..], - Resource::ServoCSS => &include_bytes!("../../../../resources/servo.css")[..], - Resource::PresentationalHintsCSS => { - &include_bytes!("../../../../resources/presentational-hints.css")[..] - }, - Resource::QuirksModeCSS => &include_bytes!("../../../../resources/quirks-mode.css")[..], Resource::RippyPNG => &include_bytes!("../../../../resources/rippy.png")[..], Resource::DomainList => &include_bytes!("../../../../resources/public_domains.txt")[..], Resource::BluetoothBlocklist => { &include_bytes!("../../../../resources/gatt_blocklist.txt")[..] }, - Resource::MediaControlsCSS => { - &include_bytes!("../../../../resources/media-controls.css")[..] - }, - Resource::MediaControlsJS => { - &include_bytes!("../../../../resources/media-controls.js")[..] - }, Resource::CrashHTML => &include_bytes!("../../../../resources/crash.html")[..], Resource::DirectoryListingHTML => { &include_bytes!("../../../../resources/directory-listing.html")[..] diff --git a/ports/servoshell/prefs.rs b/ports/servoshell/prefs.rs index 7eae7a3850c..306aaa197d2 100644 --- a/ports/servoshell/prefs.rs +++ b/ports/servoshell/prefs.rs @@ -653,6 +653,10 @@ pub(crate) fn parse_command_line_arguments(args: Vec<String>) -> ArgumentParsing preferences.media_glvideo_enabled = false; } + if let Some(user_agent) = opt_match.opt_str("user-agent") { + preferences.user_agent = user_agent; + } + let opts = Opts { debug: debug_options.clone(), wait_for_stable_image, |