From 5c8fd98aafc68c4e38e2376ffc9f416fc4d4e589 Mon Sep 17 00:00:00 2001 From: Delan Azabani Date: Tue, 12 Sep 2023 17:29:26 +0800 Subject: [PATCH] [NFC] servoshell: clarify that device_pixels_per_px is an override (#30342) --- ports/servoshell/app.rs | 9 ++++++--- ports/servoshell/headed_window.rs | 10 +++++----- ports/servoshell/headless_window.rs | 10 +++++----- ports/servoshell/main2.rs | 4 ++-- 4 files changed, 18 insertions(+), 15 deletions(-) diff --git a/ports/servoshell/app.rs b/ports/servoshell/app.rs index 8094ac01e98..5e278594680 100644 --- a/ports/servoshell/app.rs +++ b/ports/servoshell/app.rs @@ -47,7 +47,7 @@ enum PumpResult { impl App { pub fn run( no_native_titlebar: bool, - device_pixels_per_px: Option, + device_pixel_ratio_override: Option, user_agent: Option, url: Option, ) { @@ -55,13 +55,16 @@ impl App { // Implements window methods, used by compositor. let window = if opts::get().headless { - headless_window::Window::new(opts::get().initial_window_size, device_pixels_per_px) + headless_window::Window::new( + opts::get().initial_window_size, + device_pixel_ratio_override, + ) } else { Rc::new(headed_window::Window::new( opts::get().initial_window_size, &events_loop, no_native_titlebar, - device_pixels_per_px, + device_pixel_ratio_override, )) }; diff --git a/ports/servoshell/headed_window.rs b/ports/servoshell/headed_window.rs index e00cbf0dd1d..a29abd2ebe4 100644 --- a/ports/servoshell/headed_window.rs +++ b/ports/servoshell/headed_window.rs @@ -60,7 +60,7 @@ pub struct Window { keys_down: RefCell>, animation_state: Cell, fullscreen: Cell, - device_pixels_per_px: Option, + device_pixel_ratio_override: Option, xr_window_poses: RefCell>>, modifiers_state: Cell, } @@ -82,7 +82,7 @@ impl Window { win_size: Size2D, events_loop: &EventsLoop, no_native_titlebar: bool, - device_pixels_per_px: Option, + device_pixel_ratio_override: Option, ) -> Window { let opts = opts::get(); @@ -157,7 +157,7 @@ impl Window { inner_size: Cell::new(inner_size), primary_monitor, screen_size, - device_pixels_per_px, + device_pixel_ratio_override, xr_window_poses: RefCell::new(vec![]), modifiers_state: Cell::new(ModifiersState::empty()), toolbar_height: Cell::new(0.0), @@ -291,8 +291,8 @@ impl Window { } fn servo_hidpi_factor(&self) -> Scale { - match self.device_pixels_per_px { - Some(device_pixels_per_px) => Scale::new(device_pixels_per_px), + match self.device_pixel_ratio_override { + Some(override_value) => Scale::new(override_value), _ => match opts::get().output_file { Some(_) => Scale::new(1.0), None => self.device_hidpi_factor(), diff --git a/ports/servoshell/headless_window.rs b/ports/servoshell/headless_window.rs index 54058f55cae..5da2b2e5cb9 100644 --- a/ports/servoshell/headless_window.rs +++ b/ports/servoshell/headless_window.rs @@ -25,13 +25,13 @@ pub struct Window { webrender_surfman: WebrenderSurfman, animation_state: Cell, fullscreen: Cell, - device_pixels_per_px: Option, + device_pixel_ratio_override: Option, } impl Window { pub fn new( size: Size2D, - device_pixels_per_px: Option, + device_pixel_ratio_override: Option, ) -> Rc { // Initialize surfman let connection = Connection::new().expect("Failed to create connection"); @@ -47,15 +47,15 @@ impl Window { webrender_surfman, animation_state: Cell::new(AnimationState::Idle), fullscreen: Cell::new(false), - device_pixels_per_px, + device_pixel_ratio_override, }; Rc::new(window) } fn servo_hidpi_factor(&self) -> Scale { - match self.device_pixels_per_px { - Some(device_pixels_per_px) => Scale::new(device_pixels_per_px), + match self.device_pixel_ratio_override { + Some(override_value) => Scale::new(override_value), _ => Scale::new(1.0), } } diff --git a/ports/servoshell/main2.rs b/ports/servoshell/main2.rs index 25404277f56..e5e63050830 100644 --- a/ports/servoshell/main2.rs +++ b/ports/servoshell/main2.rs @@ -121,7 +121,7 @@ pub fn main() { let clean_shutdown = opts_matches.opt_present("clean-shutdown"); let do_not_use_native_titlebar = opts_matches.opt_present("no-native-titlebar") || !(pref!(shell.native_titlebar.enabled)); - let device_pixels_per_px = opts_matches.opt_str("device-pixel-ratio").map(|dppx_str| { + let device_pixel_ratio_override = opts_matches.opt_str("device-pixel-ratio").map(|dppx_str| { dppx_str.parse().unwrap_or_else(|err| { error!("Error parsing option: --device-pixel-ratio ({})", err); process::exit(1); @@ -138,7 +138,7 @@ pub fn main() { App::run( do_not_use_native_titlebar, - device_pixels_per_px, + device_pixel_ratio_override, user_agent, url_opt.map(|s| s.to_string()), );