1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-03-31 04:04:32 +00:00

wofi: merge multiple style definitions (#6673)

This commit is contained in:
awwpotato 2025-03-23 08:48:23 -07:00 committed by GitHub
parent b61ae3b677
commit 5ff90f09d1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -37,7 +37,7 @@ in {
style = mkOption {
default = null;
type = types.nullOr types.str;
type = types.nullOr types.lines;
description = ''
CSS style for wofi to use as a stylesheet. See
{manpage}`wofi(7)`.