From d00fb4f7d19de1cc40ccc5846667b8ee27669ba0 Mon Sep 17 00:00:00 2001 From: sefidel Date: Mon, 24 Jan 2022 11:04:51 +0900 Subject: home/base: use cherry font --- home/profiles/base/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'home/profiles/base/default.nix') diff --git a/home/profiles/base/default.nix b/home/profiles/base/default.nix index e49956d..6d6ff9c 100644 --- a/home/profiles/base/default.nix +++ b/home/profiles/base/default.nix @@ -29,7 +29,7 @@ in gtk.iconTheme.name = "Papirus-Dark"; gtk.theme.package = phocus; gtk.theme.name = "phocus"; - gtk.font.name = "CtrlD 13"; + gtk.font.name = "cherry 10"; home.file.".icons/default".source = "${pkgs.vanilla-dmz}/share/icons/Vanilla-DMZ-AA"; @@ -174,6 +174,7 @@ in settings = { default_mode = "normal"; pane_frames = false; + simplified_ui = true; # bitmap fonts themes = { default = { -- cgit 1.4.1