diff --git a/options.xhtml b/options.xhtml index ea88224bb..520f37746 100644 --- a/options.xhtml +++ b/options.xhtml @@ -47534,6 +47534,97 @@ boolean
+programs.tofi.enable
+
+
+Whether to enable Tofi, a tiny dynamic menu for Wayland.
+ +Type: +boolean
+ +Default:
+false
Example:
+true
Declared by:
+
+
+<home-manager/modules/programs/tofi.nix>
+
+ |
programs.tofi.package
+
+
+The tofi package to use.
+ +Type: +package
+ +Default:
+pkgs.tofi
Declared by:
+
+
+<home-manager/modules/programs/tofi.nix>
+
+ |
programs.tofi.settings
+
+
+Settings to be written to the Tofi configuration file.
See https://github.com/philj56/tofi/blob/master/doc/config +for the full list of options.
+ +Type: +attribute set of (string or signed integer or boolean)
+ +Default:
+{ }
Example:
{
+ background-color = "#000000";
+ border-width = 0;
+ font = "monospace";
+ height = "100%";
+ num-results = 5;
+ outline-width = 0;
+ padding-left = "35%";
+ padding-top = "35%";
+ result-spacing = 25;
+ width = "100%";
+}
+
+
+
+Declared by:
+
+
+<home-manager/modules/programs/tofi.nix>
+
+ |
programs.topgrade.enable