1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-12-02 16:09:46 +01:00

gtk: use attrsOf instead of attrs

This commit is contained in:
Robert Helgesson 2019-03-31 12:57:08 +02:00
parent 03162970cd
commit e26ad2026c
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -120,7 +120,7 @@ in
gtk3 = { gtk3 = {
extraConfig = mkOption { extraConfig = mkOption {
type = types.attrs; type = with types; attrsOf (either bool (either int str));
default = {}; default = {};
example = { gtk-cursor-blink = false; gtk-recent-files-limit = 20; }; example = { gtk-cursor-blink = false; gtk-recent-files-limit = 20; };
description = '' description = ''