diff options
| author | Beta-Computer <67995456+Beta-Computer@users.noreply.github.com> | 2024-11-14 10:44:14 +1300 |
|---|---|---|
| committer | Michael Hoang <enzime@users.noreply.github.com> | 2024-12-01 20:40:59 +1100 |
| commit | 09e5dfb67ee27355d78d35a4f4ab747c230cb9b8 (patch) | |
| tree | 74fa690a96b3404877db300fb0b45428a1bc7845 /modules/system/defaults/WindowManager.nix | |
| parent | 6ab87b7c84d4ee873e937108c4ff80c015a40c7a (diff) | |
defaults: add `EnableTiledWindowMargins` option
Co-authored-by: Michael Hoang <Enzime@users.noreply.github.com>
Diffstat (limited to 'modules/system/defaults/WindowManager.nix')
| -rw-r--r-- | modules/system/defaults/WindowManager.nix | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/modules/system/defaults/WindowManager.nix b/modules/system/defaults/WindowManager.nix index 38fbaa3..6a62ebc 100644 --- a/modules/system/defaults/WindowManager.nix +++ b/modules/system/defaults/WindowManager.nix @@ -56,6 +56,13 @@ with lib; Hide items in Stage Manager. ''; }; + system.defaults.WindowManager.EnableTiledWindowMargins = mkOption { + type = types.nullOr types.bool; + default = null; + description = '' + Enable Window Margins. The default is true. + ''; + }; system.defaults.WindowManager.StandardHideWidgets = mkOption { type = types.nullOr types.bool; |