1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-11-08 11:36:05 +01:00

anyrun: minor description fix

This commit is contained in:
Robert Helgesson 2025-08-19 17:54:19 +02:00
parent 8af2e064f9
commit 0e0a16b342
No known key found for this signature in database
GPG key ID: 96E745BD17AA17ED

View file

@ -130,7 +130,9 @@ in
margin = mkOption { margin = mkOption {
type = int; type = int;
default = 0; default = 0;
description = "Add a margin around the window to allow for CSS shadow styling"; description = ''
Add a margin around the window to allow for CSS shadow styling.
'';
}; };
hideIcons = mkOption { hideIcons = mkOption {