diff --git a/options.xhtml b/options.xhtml index 535d6fbbf..f8efcfc8f 100644 --- a/options.xhtml +++ b/options.xhtml @@ -20409,6 +20409,34 @@ string
Default:
"‹name›"
Declared by:
+
+
+<home-manager/modules/programs/firefox.nix>
+
+ |
programs.firefox.profiles.<name>.preConfig
+
+
+Extra preferences to add to user.js, before
+programs.firefox.profiles.<name>.settings.
Use programs.firefox.profiles.<name>.extraConfig, unless
+you want to overwrite in
+programs.firefox.profiles.<name>.settings, then use this
+option.
Type: +strings concatenated with “\n”
+ +Default:
+""
Declared by:
|
@@ -21726,6 +21754,34 @@ string
Default:
Declared by: +
programs.floorp.profiles.<name>.preConfig
+
+
+Extra preferences to add to Use Type: +strings concatenated with “\n” + +Default:
+ Declared by: |