Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

defaults: add EnableTiledWindowMargins option #1166

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

defaults: add EnableTiledWindowMargins option #1166

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
c71ab77
Update WindowManager.nix
Beta-Computer Nov 13, 2024
957c21b
Update WindowManager.nix
Beta-Computer Nov 14, 2024
c6803e6
Update modules/system/defaults/WindowManager.nix
Beta-Computer Nov 15, 2024
9f7d6f8
Update WindowManager.nix
Beta-Computer Nov 15, 2024
1d2d3dd
Update WindowManager.nix
Beta-Computer Nov 15, 2024
d553934
Update system-defaults-write.nix
Beta-Computer Nov 15, 2024
f7b3be7
Update activate-user.txt
Beta-Computer Nov 15, 2024
060bc28
Update activate-user.txt
Beta-Computer Nov 15, 2024
b978fda
Create GlobalDomain.nix
Beta-Computer Nov 16, 2024
e5c68e9
Delete modules/system/defaults/GlobalDomain.nix
Beta-Computer Nov 16, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions modules/system/defaults/WindowManager.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down
7 changes: 6 additions & 1 deletion tests/fixtures/system-defaults-write/activate-user.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -529,6 +529,11 @@ defaults write com.apple.WindowManager 'StandardHideDesktopIcons' $'<?xml versio
<plist version="1.0">
<false/>
</plist>'
defaults write com.apple.WindowManager 'EnableTiledWindowMargins' $'<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<true/>
Beta-Computer marked this conversation as resolved.
Show resolved Hide resolved
</plist>'
defaults write com.apple.WindowManager 'StandardHideWidgets' $'<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
Expand Down Expand Up @@ -568,4 +573,4 @@ defaults write ~/Library/Preferences/ByHost/com.apple.controlcenter 'Sound' $'<?
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<integer>24</integer>
</plist>'
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What did you change on this line?

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

don't think I changed anything

</plist>'
1 change: 1 addition & 0 deletions tests/system-defaults-write.nix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -94,6 +94,7 @@
system.defaults.WindowManager.AppWindowGroupingBehavior = true;
system.defaults.WindowManager.StandardHideDesktopIcons = false;
system.defaults.WindowManager.HideDesktop = false;
system.defaults.WindowManager.EnableTiledWindowMargins = true;
system.defaults.WindowManager.StandardHideWidgets = true;
system.defaults.WindowManager.StageManagerHideWidgets = true;
system.defaults.CustomUserPreferences = {
Expand Down
Loading