servoshell/desktop/
headless_window.rs1#![deny(clippy::panic)]
8#![deny(clippy::unwrap_used)]
9
10use std::cell::Cell;
11use std::rc::Rc;
12
13use euclid::num::Zero;
14use euclid::{Length, Point2D, Scale, Size2D};
15use servo::servo_geometry::{
16 DeviceIndependentIntRect, DeviceIndependentPixel, convert_rect_to_css_pixel,
17};
18use servo::webrender_api::units::{DeviceIntPoint, DeviceIntRect, DeviceIntSize, DevicePixel};
19use servo::{RenderingContext, ScreenGeometry, SoftwareRenderingContext, WebView};
20use winit::dpi::PhysicalSize;
21
22use super::app_state::RunningAppState;
23use crate::desktop::window_trait::{MIN_WINDOW_INNER_SIZE, WindowPortsMethods};
24use crate::prefs::ServoShellPreferences;
25
26pub struct Window {
27 fullscreen: Cell<bool>,
28 device_pixel_ratio_override: Option<Scale<f32, DeviceIndependentPixel, DevicePixel>>,
29 inner_size: Cell<DeviceIntSize>,
30 screen_size: Size2D<i32, DevicePixel>,
31 window_position: Cell<Point2D<i32, DevicePixel>>,
33 rendering_context: Rc<SoftwareRenderingContext>,
34}
35
36impl Window {
37 #[allow(clippy::new_ret_no_self)]
38 pub fn new(servoshell_preferences: &ServoShellPreferences) -> Rc<dyn WindowPortsMethods> {
39 let size = servoshell_preferences.initial_window_size;
40
41 let device_pixel_ratio_override = servoshell_preferences.device_pixel_ratio_override;
42 let device_pixel_ratio_override: Option<Scale<f32, DeviceIndependentPixel, DevicePixel>> =
43 device_pixel_ratio_override.map(Scale::new);
44 let hidpi_factor = device_pixel_ratio_override.unwrap_or_else(Scale::identity);
45
46 let inner_size = (size.to_f32() * hidpi_factor).to_i32();
47 let physical_size = PhysicalSize::new(inner_size.width as u32, inner_size.height as u32);
48 let rendering_context =
49 SoftwareRenderingContext::new(physical_size).expect("Failed to create WR surfman");
50
51 let screen_size = servoshell_preferences
52 .screen_size_override
53 .map_or(inner_size * 2, |screen_size_override| {
54 (screen_size_override.to_f32() * hidpi_factor).to_i32()
55 });
56
57 let window = Window {
58 fullscreen: Cell::new(false),
59 device_pixel_ratio_override,
60 inner_size: Cell::new(inner_size),
61 screen_size,
62 window_position: Cell::new(Point2D::zero()),
63 rendering_context: Rc::new(rendering_context),
64 };
65
66 Rc::new(window)
67 }
68}
69
70impl WindowPortsMethods for Window {
71 fn id(&self) -> winit::window::WindowId {
72 winit::window::WindowId::dummy()
73 }
74
75 fn screen_geometry(&self) -> servo::ScreenGeometry {
76 ScreenGeometry {
77 size: self.screen_size,
78 available_size: self.screen_size,
79 window_rect: DeviceIntRect::from_origin_and_size(
80 self.window_position.get(),
81 self.inner_size.get(),
82 ),
83 }
84 }
85
86 fn set_position(&self, point: DeviceIntPoint) {
87 self.window_position.set(point);
88 }
89
90 fn request_resize(&self, webview: &WebView, new_size: DeviceIntSize) -> Option<DeviceIntSize> {
91 let new_size = new_size.clamp(MIN_WINDOW_INNER_SIZE, self.screen_size * 2);
94 if self.inner_size.get() == new_size {
95 return Some(new_size);
96 }
97
98 self.inner_size.set(new_size);
99
100 webview.move_resize(new_size.to_f32().into());
104 webview.resize(PhysicalSize::new(
105 new_size.width as u32,
106 new_size.height as u32,
107 ));
108
109 Some(new_size)
110 }
111
112 fn device_hidpi_scale_factor(&self) -> Scale<f32, DeviceIndependentPixel, DevicePixel> {
113 Scale::new(1.0)
114 }
115
116 fn hidpi_scale_factor(&self) -> Scale<f32, DeviceIndependentPixel, DevicePixel> {
117 self.device_pixel_ratio_override
118 .unwrap_or_else(|| self.device_hidpi_scale_factor())
119 }
120
121 fn set_fullscreen(&self, state: bool) {
122 self.fullscreen.set(state);
123 }
124
125 fn get_fullscreen(&self) -> bool {
126 self.fullscreen.get()
127 }
128
129 fn handle_winit_event(&self, _: Rc<RunningAppState>, _: winit::event::WindowEvent) {
130 }
132
133 #[cfg(feature = "webxr")]
134 fn new_glwindow(
135 &self,
136 _events_loop: &winit::event_loop::ActiveEventLoop,
137 ) -> Rc<dyn servo::webxr::glwindow::GlWindow> {
138 unimplemented!()
139 }
140
141 fn winit_window(&self) -> Option<&winit::window::Window> {
142 None
143 }
144
145 fn toolbar_height(&self) -> Length<f32, DeviceIndependentPixel> {
146 Length::zero()
147 }
148
149 fn window_rect(&self) -> DeviceIndependentIntRect {
150 convert_rect_to_css_pixel(
151 DeviceIntRect::from_origin_and_size(self.window_position.get(), self.inner_size.get()),
152 self.hidpi_scale_factor(),
153 )
154 }
155
156 fn set_toolbar_height(&self, _height: Length<f32, DeviceIndependentPixel>) {
157 unimplemented!("headless Window only")
158 }
159
160 fn rendering_context(&self) -> Rc<dyn RenderingContext> {
161 self.rendering_context.clone()
162 }
163
164 fn maximize(&self, webview: &WebView) {
165 self.window_position.set(Point2D::zero());
166 self.inner_size.set(self.screen_size);
167 webview.move_resize(self.screen_size.to_f32().into());
171 webview.resize(PhysicalSize::new(
172 self.screen_size.width as u32,
173 self.screen_size.height as u32,
174 ));
175 }
176}