From 4e80a54a4e2db6a5fee70d60233bd1d5fa21f6df Mon Sep 17 00:00:00 2001 From: ncfavier Date: Wed, 21 Jun 2023 16:39:48 +0000 Subject: [PATCH] deploy: 1fefd7bb8da0eec6755747f410fa491411a94296 --- options.html | 3 +++ 1 file changed, 3 insertions(+) diff --git a/options.html b/options.html index d310f0262..1868e06a8 100644 --- a/options.html +++ b/options.html @@ -976,6 +976,9 @@ is assumed to already be available in your profile.

Declared by:

<home-manager/modules/misc/gtk.nix> +
gtk.gtk4.extraCss

Extra configuration lines to add verbatim to +$XDG_CONFIG_HOME/gtk-4.0/gtk.css.

Type: strings concatenated with "\n"

Default: ""

Declared by:

+ <home-manager/modules/misc/gtk.nix>
gtk.iconTheme

The icon theme to use.

Type: null or (submodule)

Default: null

Declared by:

<home-manager/modules/misc/gtk.nix>
gtk.iconTheme.package

Package providing the icon theme. This package will be installed