defaults: add NSGlobalDomain.NSStatusItem{Spacing,SelectionPadding} (#1310)
Some checks failed
Some checks failed
This commit is contained in:
commit
ebd0bfc11f
1 changed files with 18 additions and 0 deletions
|
|
@ -257,6 +257,24 @@ in {
|
|||
'';
|
||||
};
|
||||
|
||||
system.defaults.NSGlobalDomain.NSStatusItemSpacing = mkOption {
|
||||
type = types.nullOr types.int;
|
||||
default = null;
|
||||
example = 12;
|
||||
description = ''
|
||||
Sets the spacing between status icons in the menu bar.
|
||||
'';
|
||||
};
|
||||
|
||||
system.defaults.NSGlobalDomain.NSStatusItemSelectionPadding = mkOption {
|
||||
type = types.nullOr types.int;
|
||||
default = null;
|
||||
example = 6;
|
||||
description = ''
|
||||
Sets the padding around status icons in the menu bar.
|
||||
'';
|
||||
};
|
||||
|
||||
system.defaults.NSGlobalDomain.InitialKeyRepeat = mkOption {
|
||||
type = types.nullOr types.int;
|
||||
default = null;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue