Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

xresources: improve properties option example

Browse source 
Fixes #1001
This commit is contained in:
Robert Helgesson 2020-01-21 22:27:57 +01:00
parent 805d82e1be
commit 95c8007b8f
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
modules/xresources.nix
View file

@ -29,11 +29,13 @@ in
xresources.properties = mkOption {
type = types.nullOr types.attrs;
default = null;
example = {
"Emacs*toolBar" = 0;
"XTerm*faceName" = "dejavu sans mono";
"XTerm*charClass" = [ "37:48" "45-47:48" "58:48" "64:48" "126:48" ];
};
example = literalExample ''
{
"Emacs*toolBar" = 0;
"XTerm*faceName" = "dejavu sans mono";
"XTerm*charClass" = [ "37:48" "45-47:48" "58:48" "64:48" "126:48" ];
}
'';
description = ''
X server resources that should be set.
Booleans are formatted as "true" or "false" respectively.