diff options
Diffstat (limited to 'home/profiles/base/default.nix')
| -rw-r--r-- | home/profiles/base/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
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 = { |