From 01c9cf13dd8e22c16c89a1a384c1a0ed1db6e28a Mon Sep 17 00:00:00 2001 From: noe Date: Sun, 17 Dec 2023 16:11:16 -0500 Subject: [PATCH] cider: mkDefault for kitty font size --- home-manager/features/kitty.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/home-manager/features/kitty.nix b/home-manager/features/kitty.nix index 98736de..00ee613 100644 --- a/home-manager/features/kitty.nix +++ b/home-manager/features/kitty.nix @@ -1,4 +1,4 @@ -{ pkgs, ... }: { +{ pkgs, lib, ... }: { programs.kitty = { enable = true; shellIntegration.mode = "enabled"; @@ -9,7 +9,7 @@ settings = { wayland_titlebar_color = "system"; background_opacity = "0.82"; - font_size = 12; + font_size = lib.mkDefault 16; hide_window_decorations = "no"; linux_display_server = "x11"; confirm_os_window_close = 0;