mirror of
https://github.com/nix-community/home-manager
synced 2024-12-23 10:19:48 +01:00
types: allow non-integer font sizes
This commit is contained in:
parent
2b02f8c7cb
commit
e56714a057
1 changed files with 1 additions and 1 deletions
|
@ -55,7 +55,7 @@ in rec {
|
|||
};
|
||||
|
||||
size = mkOption {
|
||||
type = types.nullOr types.int;
|
||||
type = types.nullOr types.number;
|
||||
default = null;
|
||||
example = "8";
|
||||
description = ''
|
||||
|
|
Loading…
Reference in a new issue