mirror of
https://github.com/wez/wezterm.git
synced 2024-11-23 23:21:08 +03:00
16e7457049
This commit allows the x11 window implementation to detect changes in the DPI that occur after a window is created. These can occur when changing desktop resolution or when changing the accessibility option for "Large Text" in gnome. In order to avoid continually polling for the value on every resize, we look for the `_GTK_EDGE_CONSTRAINTS` atom in our property change notifications. This seems to be sent at least as often as the dpi/scaling changes. It's also worth noting that some dpi changes don't generate resize events, so we can't just read the dpi value on every resize, because we'd miss some of those changes. Part of this commit changes the font scaling logic: previously we'd keep a notion of "dpi scale" to apply. That dates from an earlier time in wezterm where we didn't think that we knew an actual dpi value. The way that worked was that we'd compare our current guestimate of the DPI against what we though the baseline OS dpi should be to produce a scaling factor. On X11 that dpi value is global and we'd effectively always produce a revised scaling factor of 1 after we'd set up the initial window. This commit changes that logic to just pass down the actual DPI value to the font code. That DPI value already accounts for HiDPI scaling so this is hopefully a NOP change for the other systems. refs: https://github.com/wez/wezterm/issues/667 |
||
|---|---|---|
| .. | ||
| src | ||
| build.rs | ||
| Cargo.toml | ||