wez/wezterm
1
1
Fork 0
mirror of https://github.com/wez/wezterm.git synced 2024-11-22 22:42:48 +03:00
Code Issues Projects Releases Wiki Activity

Resize window frame correctly

Browse Source
This commit is contained in:
Timmy Xiao 2024-01-27 14:46:39 -08:00 committed by Wez Furlong
parent 4b0fba40f7
commit 6b73db40e9
No known key found for this signature in database
GPG Key ID: 7A7F66A31EC9B387
1 changed files with 6 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
window/src/os/wayland/window.rs
View File

@ -756,7 +756,7 @@ impl WaylandWindowInner {
}
}
if let Some(window_config) = pending.window_configure {
if let Some(ref window_config) = pending.window_configure {
self.window_frame.update_state(window_config.state);
self.window_frame
.update_wm_capabilities(window_config.capabilities);
@ -789,16 +789,14 @@ impl WaylandWindowInner {
}
}
// TODO: Update the window decoration size
log::trace!("Resizing frame");
let (width, height) = self
.window_frame
.subtract_borders(NonZeroU32::new(w).unwrap(), NonZeroU32::new(h).unwrap());
let (width, height) = self.window_frame.subtract_borders(
NonZeroU32::new(pixel_width as u32).unwrap(),
NonZeroU32::new(pixel_height as u32).unwrap(),
);
// Clamp the size to at least one pixel.
let width = width.unwrap_or(NonZeroU32::new(1).unwrap());
let height = height.unwrap_or(NonZeroU32::new(1).unwrap());
self.window_frame.resize(width, height);
let (x, y) = self.window_frame.location();
let outer_size = self.window_frame.add_borders(width.get(), height.get());
@ -807,7 +805,7 @@ impl WaylandWindowInner {
.unwrap()
.xdg_surface()
.set_window_geometry(x, y, outer_size.0 as i32, outer_size.1 as i32);
// }
// Compute the new pixel dimensions
let new_dimensions = Dimensions {
pixel_width: pixel_width.try_into().unwrap(),