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 /tvix/src | |
| 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 'tvix/src')
0 files changed, 0 insertions, 0 deletions