From 1d10fa79aecd3a38634455774c0e42dc1bb8a5c1 Mon Sep 17 00:00:00 2001 From: iFargle Date: Mon, 21 Aug 2023 22:42:36 +0900 Subject: [PATCH] Jetbrains fonts --- hosts/nixos-laptop/home-manager/gnome-dconf.nix | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/hosts/nixos-laptop/home-manager/gnome-dconf.nix b/hosts/nixos-laptop/home-manager/gnome-dconf.nix index 1974190a..59d0e0d5 100644 --- a/hosts/nixos-laptop/home-manager/gnome-dconf.nix +++ b/hosts/nixos-laptop/home-manager/gnome-dconf.nix @@ -60,8 +60,18 @@ in { "org/gnome/desktop/interface" = { clock-show-date = true; clock-show-weekday = false; + color-scheme = "prefer-dark"; + document-font-name = "JetBrainsMonoNL Nerd Font 11"; + font-antialiasing = "rgba"; + font-hinting = "slight"; + font-name = "JetBrainsMonoNL Nerd Font Propo Thin 11"; + gtk-theme = "Gruvbox-Dark-BL"; + icon-theme = "Nordzy-yellow-dark"; + monospace-font-name = "JetBrainsMono Nerd Font 10"; + show-battery-percentage = false; }; + "org/gnome/desktop/notifications" = { show-banners = true; };