mirror of
https://github.com/wez/wezterm.git
synced 2024-11-29 21:44:24 +03:00
Update window/src/os/wayland/window.rs
This commit is contained in:
parent
aab3835f1a
commit
3938d1a7db
@ -731,6 +731,7 @@ impl WaylandWindowInner {
|
|||||||
|
|
||||||
if pending.configure.is_none() {
|
if pending.configure.is_none() {
|
||||||
if pending.dpi.is_some() {
|
if pending.dpi.is_some() {
|
||||||
|
// Synthesize a pending configure event for the dpi change
|
||||||
pending.configure.replace((
|
pending.configure.replace((
|
||||||
self.pixels_to_surface(self.dimensions.pixel_width as i32) as u32,
|
self.pixels_to_surface(self.dimensions.pixel_width as i32) as u32,
|
||||||
self.pixels_to_surface(self.dimensions.pixel_height as i32) as u32,
|
self.pixels_to_surface(self.dimensions.pixel_height as i32) as u32,
|
||||||
|
Loading…
Reference in New Issue
Block a user