diff options
author | Vincent Ambo <mail@tazj.in> | 2022-05-10T23·12+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-05-10T23·16+0000 |
commit | 283fd60e0dd9e49600edb5ff8398ab980d3067d5 (patch) | |
tree | e89823517f2956d9527aba1ad9cb5a6db4b09605 /users | |
parent | 71db4d45646563b8002126bf9985abcf31f69e5a (diff) |
style(tazjin/nixos/hidpi): Set DPI setting to 161 r/4058
This results in a much more useful element size. Note that this still does not scale some core UI elements, such as the mouse cursor, at all. Change-Id: I7d4da485f0723740a7228a1561aaf50135c86032 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5575 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'users')
-rw-r--r-- | users/tazjin/nixos/modules/hidpi.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/users/tazjin/nixos/modules/hidpi.nix b/users/tazjin/nixos/modules/hidpi.nix index 942798112a43..7fa3e4193341 100644 --- a/users/tazjin/nixos/modules/hidpi.nix +++ b/users/tazjin/nixos/modules/hidpi.nix @@ -13,5 +13,5 @@ # Bump DPI across the board. # TODO(tazjin): This should actually be set per monitor, but I # haven't yet figured out the right interface for doing that. - services.xserver.dpi = 192; + services.xserver.dpi = 161; } |