diff options
author | aszlig <aszlig@nix.build> | 2022-09-03 06:06:28 +0200 |
---|---|---|
committer | aszlig <aszlig@nix.build> | 2022-09-05 18:57:38 +0200 |
commit | c88fd9eaa12c8a3c06502b09c2056d3c91421952 (patch) | |
tree | b0cff3ad7ede1beed2aca146d3172e76740f3642 /pkgs/profpatsch/dhall/build-dhall-package-improved.nix | |
parent | 159f4c8d9c127f51607bf529bf9810c4f1aa3610 (diff) |
Use a font point size of 10 on hidpi
With my new laptop, a font size of 12pt is rather large and given that hidpi displays usually have a quite large resolution (the name might hint at that), we don't necessarily need to use embedded bitmaps anymore which was one of the reasons why I used a point size of 12. Signed-off-by: aszlig <aszlig@nix.build>
Diffstat (limited to 'pkgs/profpatsch/dhall/build-dhall-package-improved.nix')
0 files changed, 0 insertions, 0 deletions