mirror of
https://github.com/nix-community/home-manager.git
synced 2025-11-08 19:46:05 +01:00
anyrun: Added margin config option (#7687)
Added the new `margin` config option to the Anyrun module
This commit is contained in:
parent
f8af2cbe38
commit
0a06e46a3b
2 changed files with 8 additions and 0 deletions
|
|
@ -127,6 +127,12 @@ in
|
|||
'';
|
||||
};
|
||||
|
||||
margin = mkOption {
|
||||
type = int;
|
||||
default = 0;
|
||||
description = "Add a margin around the window to allow for CSS shadow styling";
|
||||
};
|
||||
|
||||
hideIcons = mkOption {
|
||||
type = bool;
|
||||
default = false;
|
||||
|
|
@ -259,6 +265,7 @@ in
|
|||
y: ${stringifyNumeric cfg.config.y},
|
||||
width: ${stringifyNumeric cfg.config.width},
|
||||
height: ${stringifyNumeric cfg.config.height},
|
||||
margin: ${toString cfg.config.margin},
|
||||
hide_icons: ${boolToString cfg.config.hideIcons},
|
||||
ignore_exclusive_zones: ${boolToString cfg.config.ignoreExclusiveZones},
|
||||
layer: ${capitalize cfg.config.layer},
|
||||
|
|
|
|||
|
|
@ -72,6 +72,7 @@
|
|||
y: Fraction(0.020000),
|
||||
width: Absolute(800),
|
||||
height: Absolute(0),
|
||||
margin: 0,
|
||||
hide_icons: false,
|
||||
ignore_exclusive_zones: false,
|
||||
layer: Overlay,
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue