mirror of
https://github.com/nix-community/nixvim.git
synced 2025-07-13 18:54:30 +02:00
lib: remove nixvimTypes
alias
This commit is contained in:
parent
bafc6308f6
commit
2f49c76a6a
59 changed files with 261 additions and 278 deletions
|
@ -22,7 +22,7 @@ helpers.neovim-plugin.mkNeovimPlugin {
|
|||
width =
|
||||
helpers.defaultNullOpts.mkNullable
|
||||
(
|
||||
with helpers.nixvimTypes;
|
||||
with lib.types;
|
||||
oneOf [
|
||||
ints.positive
|
||||
(numbers.between 0.0 1.0)
|
||||
|
@ -42,7 +42,7 @@ helpers.neovim-plugin.mkNeovimPlugin {
|
|||
height =
|
||||
helpers.defaultNullOpts.mkNullable
|
||||
(
|
||||
with helpers.nixvimTypes;
|
||||
with lib.types;
|
||||
oneOf [
|
||||
ints.positive
|
||||
(numbers.between 0.0 1.0)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue