plugins/oil: Fix statix error (#393)

This commit is contained in:
traxys 2023-05-28 19:19:13 +02:00 committed by GitHub
parent 246f811084
commit b6f55f619c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -10,16 +10,14 @@ with lib; let
fractionType = types.numbers.between 0.0 1.0; fractionType = types.numbers.between 0.0 1.0;
mkSizeOption = default: desc: mkSizeOption =
helpers.defaultNullOpts.mkNullable helpers.defaultNullOpts.mkNullable
(with types; (with types;
oneOf [ oneOf [
int int
fractionType fractionType
(listOf (either int fractionType)) (listOf (either int fractionType))
]) ]);
default
desc;
commonWindowOptions = { commonWindowOptions = {
maxWidth = mkSizeOption "0.9" '' maxWidth = mkSizeOption "0.9" ''