2022-05-10 00:17:26 +02:00
|
|
|
# Configuration for machines with HiDPI displays, which are a total
|
|
|
|
# mess, of course.
|
|
|
|
{ ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
# Expose a variable to all programs that might be interested in the
|
|
|
|
# screen settings to do conditional initialisation (mostly for Emacs).
|
|
|
|
environment.variables.HIDPI_SCREEN = "true";
|
|
|
|
|
2023-03-31 15:52:37 +02:00
|
|
|
# TODO(tazjin): this option has been removed and needs to be replaced
|
|
|
|
# by manual configuration: https://github.com/NixOS/nixpkgs/issues/222805
|
2022-05-10 00:17:26 +02:00
|
|
|
# Ensure a larger font size in early boot stage.
|
2023-03-31 15:52:37 +02:00
|
|
|
# hardware.video.hidpi.enable = true;
|
2022-05-10 00:17:26 +02:00
|
|
|
|
|
|
|
# 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.
|
2022-05-11 01:12:49 +02:00
|
|
|
services.xserver.dpi = 161;
|
2022-05-10 00:17:26 +02:00
|
|
|
}
|