wezterm: set exact font size based on dpi
This commit is contained in:
parent
0b14d0b9b0
commit
df96ee6bc5
1 changed files with 12 additions and 2 deletions
|
@ -154,8 +154,18 @@ config.font_rules = {
|
||||||
},
|
},
|
||||||
}
|
}
|
||||||
|
|
||||||
config.font_size = 15
|
wezterm.on('window-config-reloaded', function(window, pane)
|
||||||
-- config.font_size = 18
|
local overrides = window:get_config_overrides() or {}
|
||||||
|
local dpi = wezterm.gui.screens().active.effective_dpi
|
||||||
|
|
||||||
|
if dpi > 96 then
|
||||||
|
overrides.font_size = 15
|
||||||
|
else
|
||||||
|
overrides.font_size = 18
|
||||||
|
end
|
||||||
|
window:set_config_overrides(overrides)
|
||||||
|
end)
|
||||||
|
|
||||||
config.warn_about_missing_glyphs = false
|
config.warn_about_missing_glyphs = false
|
||||||
config.bold_brightens_ansi_colors = false
|
config.bold_brightens_ansi_colors = false
|
||||||
config.unicode_version = 14
|
config.unicode_version = 14
|
||||||
|
|
Loading…
Reference in a new issue