From 037b50d6087faf294c657cae944c4a10b6d5250c Mon Sep 17 00:00:00 2001 From: sefidel Date: Thu, 14 Sep 2023 22:48:51 +0900 Subject: feat(home): basic HiDPI support --- home/profiles/gui/config/foot.nix | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'home/profiles/gui/config/foot.nix') diff --git a/home/profiles/gui/config/foot.nix b/home/profiles/gui/config/foot.nix index 9296b48..61fecf7 100644 --- a/home/profiles/gui/config/foot.nix +++ b/home/profiles/gui/config/foot.nix @@ -1,13 +1,16 @@ -{ neotheme }: +{ config, neotheme }: with neotheme.colors; +let + guiCfg = config.profiles.gui; +in { main = { term = "foot"; - font = "Dina:pixelsize=13,JetBrainsMono Nerd Font:pixelsize=12"; + font = "${guiCfg.font.name}:pixelsize=${toString guiCfg.font.pixelSize},JetBrainsMono Nerd Font:pixelsize=12"; letter-spacing = 0; - dpi-aware = "yes"; + # dpi-aware = "yes"; pad = "16x16 center"; }; -- cgit 1.4.1