Merge pull request #175872 from uninsane/colinsane/phosh-phoc-scale

phosh: allow fractional scaling
This commit is contained in:
Rick van Schijndel 2022-06-02 20:54:41 +02:00 committed by GitHub
commit d93d4a5820
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -78,7 +78,13 @@ let
description = ''
Display scaling factor.
'';
type = types.nullOr types.ints.unsigned;
type = types.nullOr (
types.addCheck
(types.either types.int types.float)
(x : x > 0)
) // {
description = "null or positive integer or float";
};
default = null;
example = 2;
};