1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-28 17:38:33 +02:00

gtk: add support for GTK4 configuration

This commit is contained in:
Jonas Heinrich 2021-12-21 13:16:52 +01:00 committed by Robert Helgesson
parent aef97988da
commit 7ec50b1f77
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89

View File

@ -7,6 +7,7 @@ let
cfg = config.gtk;
cfg2 = config.gtk.gtk2;
cfg3 = config.gtk.gtk3;
cfg4 = config.gtk.gtk4;
toGtk3Ini = generators.toINI {
mkKeyValue = key: value:
@ -136,6 +137,21 @@ in {
'';
};
};
gtk4 = {
extraConfig = mkOption {
type = with types; attrsOf (either bool (either int str));
default = { };
example = {
gtk-cursor-blink = false;
gtk-recent-files-limit = 20;
};
description = ''
Extra configuration options to add to
<filename>$XDG_CONFIG_HOME/gtk-4.0/settings.ini</filename>.
'';
};
};
};
};
@ -181,6 +197,9 @@ in {
text = concatMapStrings (l: l + "\n") cfg3.bookmarks;
};
xdg.configFile."gtk-4.0/settings.ini".text =
toGtk3Ini { Settings = ini // cfg4.extraConfig; };
dconf.settings."org/gnome/desktop/interface" = dconfIni;
});
}