From 41b7a0d5dc720699b0a53a6c06e5ba69650a105f Mon Sep 17 00:00:00 2001 From: rycee Date: Mon, 17 Apr 2023 20:57:07 +0000 Subject: [PATCH] deploy: 6db559daa952833fb16bd52c5ae24e1c4fffd488 --- options.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/options.html b/options.html index 5543c7d54..1e17884f3 100644 --- a/options.html +++ b/options.html @@ -5931,6 +5931,8 @@ Requires a window manager that respects scroll hints.

programs.thunderbird.profiles

Type: attribute set of (submodule)

Declared by:

<home-manager/modules/programs/thunderbird.nix> +
programs.thunderbird.profiles.<name>.extraConfig

Extra preferences to add to user.js.

Type: strings concatenated with "\n"

Default: ""

Declared by:

+ <home-manager/modules/programs/thunderbird.nix>
programs.thunderbird.profiles.<name>.isDefault

Whether this is a default profile. There must be exactly one default profile.

Type: boolean

Default: false

Example: true

Declared by:

<home-manager/modules/programs/thunderbird.nix>