mirror of
https://github.com/servo/servo.git
synced 2025-08-02 04:00:32 +01:00
Add support for page zoom via new WR API.
This commit is contained in:
parent
b8b23fda5f
commit
fc349b4a4f
1 changed files with 7 additions and 0 deletions
|
@ -1309,6 +1309,7 @@ impl<Window: WindowMethods> IOCompositor<Window> {
|
|||
self.page_zoom = ScaleFactor::new(1.0);
|
||||
self.update_zoom_transform();
|
||||
self.send_window_size(WindowSizeType::Resize);
|
||||
self.update_page_zoom_for_webrender();
|
||||
}
|
||||
|
||||
fn on_zoom_window_event(&mut self, magnification: f32) {
|
||||
|
@ -1316,6 +1317,12 @@ impl<Window: WindowMethods> IOCompositor<Window> {
|
|||
.max(MIN_ZOOM).min(MAX_ZOOM));
|
||||
self.update_zoom_transform();
|
||||
self.send_window_size(WindowSizeType::Resize);
|
||||
self.update_page_zoom_for_webrender();
|
||||
}
|
||||
|
||||
fn update_page_zoom_for_webrender(&mut self) {
|
||||
let page_zoom = webrender_traits::PageZoomFactor::new(self.page_zoom.get());
|
||||
self.webrender_api.set_page_zoom(page_zoom);
|
||||
}
|
||||
|
||||
/// Simulate a pinch zoom
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue