mirror of
https://github.com/LnL7/nix-darwin.git
synced 2024-12-14 11:57:34 +00:00
Merge pull request #1166 from Beta-Computer/master
defaults: add EnableTiledWindowMargins option
This commit is contained in:
commit
e30a3622b6
3 changed files with 13 additions and 0 deletions
|
@ -56,6 +56,13 @@ with lib;
|
||||||
Hide items in Stage Manager.
|
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 {
|
system.defaults.WindowManager.StandardHideWidgets = mkOption {
|
||||||
type = types.nullOr types.bool;
|
type = types.nullOr types.bool;
|
||||||
|
|
|
@ -509,6 +509,11 @@ defaults write com.apple.WindowManager 'EnableStandardClickToShowDesktop' $'<?xm
|
||||||
<plist version="1.0">
|
<plist version="1.0">
|
||||||
<false/>
|
<false/>
|
||||||
</plist>'
|
</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/>
|
||||||
|
</plist>'
|
||||||
defaults write com.apple.WindowManager 'GloballyEnabled' $'<?xml version="1.0" encoding="UTF-8"?>
|
defaults write com.apple.WindowManager 'GloballyEnabled' $'<?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">
|
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
|
||||||
<plist version="1.0">
|
<plist version="1.0">
|
||||||
|
|
|
@ -94,6 +94,7 @@
|
||||||
system.defaults.WindowManager.AppWindowGroupingBehavior = true;
|
system.defaults.WindowManager.AppWindowGroupingBehavior = true;
|
||||||
system.defaults.WindowManager.StandardHideDesktopIcons = false;
|
system.defaults.WindowManager.StandardHideDesktopIcons = false;
|
||||||
system.defaults.WindowManager.HideDesktop = false;
|
system.defaults.WindowManager.HideDesktop = false;
|
||||||
|
system.defaults.WindowManager.EnableTiledWindowMargins = true;
|
||||||
system.defaults.WindowManager.StandardHideWidgets = true;
|
system.defaults.WindowManager.StandardHideWidgets = true;
|
||||||
system.defaults.WindowManager.StageManagerHideWidgets = true;
|
system.defaults.WindowManager.StageManagerHideWidgets = true;
|
||||||
system.defaults.CustomUserPreferences = {
|
system.defaults.CustomUserPreferences = {
|
||||||
|
|
Loading…
Reference in a new issue