plugins.*: use defaultNullOpts.mkProportion wherever possible

This commit is contained in:
Gaetan Lepage 2025-01-03 23:09:34 +01:00
parent 2e600f5796
commit 24ac8f651d
11 changed files with 31 additions and 37 deletions

View file

@ -56,7 +56,7 @@ in
The panel position.
'';
ratio = helpers.defaultNullOpts.mkNullable (types.numbers.between 0.0 1.0) 0.4 ''
ratio = helpers.defaultNullOpts.mkProportion 0.4 ''
The panel ratio.
'';
};