diff options
| author | Arpit Chakladar <arpitchakladar+git@gmail.com> | 2026-08-29 01:18:54 +0530 |
|---|---|---|
| committer | Arpit Chakladar <arpitchakladar+git@gmail.com> | 2026-08-29 03:50:32 +0530 |
| commit | b1b7118c59c91da3b6688941888078b37ff0f637 (patch) | |
| tree | 8237485784cb0885fe3fbd0e74dcc60a1fe675e3 /modules/fonts/default.nix | |
| parent | ed6a42bcace45203385e0a1126fa1d72b1e64c29 (diff) | |
| download | home-manager-config-b1b7118c59c91da3b6688941888078b37ff0f637.tar.gz home-manager-config-b1b7118c59c91da3b6688941888078b37ff0f637.zip | |
desktop: fixed the font sizes used in gtk, chromium uses gtk
- some of the font sizes for gtk based applications where
dis-proportionately large, like on chromium
- chromium now uses the gtk system theme, and system titlebars
Diffstat (limited to 'modules/fonts/default.nix')
| -rw-r--r-- | modules/fonts/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/modules/fonts/default.nix b/modules/fonts/default.nix index 7f71c2e..cc282c7 100644 --- a/modules/fonts/default.nix +++ b/modules/fonts/default.nix @@ -29,6 +29,12 @@ description = "Default font size."; default = 18; }; + + uiSize = lib.mkOption { + type = lib.types.int; + description = "Default desktop UI (GTK) font size."; + default = 11; + }; }; config = { |