mirror of
https://github.com/nix-community/nixvim.git
synced 2025-06-20 16:15:43 +02:00
54 lines
1.3 KiB
Nix
54 lines
1.3 KiB
Nix
{ lib, ... }:
|
|
let
|
|
inherit (lib.nixvim) defaultNullOpts;
|
|
in
|
|
lib.nixvim.plugins.mkVimPlugin {
|
|
name = "cornelis";
|
|
globalPrefix = "cornelis_";
|
|
|
|
maintainers = [ lib.maintainers.GaetanLepage ];
|
|
|
|
dependencies = [ "cornelis" ];
|
|
|
|
imports = [
|
|
# TODO: added 2025-04-07, remove after 25.05
|
|
(lib.nixvim.mkRemovedPackageOptionModule {
|
|
plugin = "cornelis";
|
|
packageName = "cornelis";
|
|
})
|
|
];
|
|
|
|
settingsOptions = {
|
|
use_global_binary = defaultNullOpts.mkFlagInt 0 ''
|
|
Whether to use global binary instead of stack.
|
|
'';
|
|
|
|
agda_prefix = defaultNullOpts.mkStr' {
|
|
pluginDefault = "<localleader>";
|
|
example = "<Tab>";
|
|
description = ''
|
|
Prefix used for agda keybindings.
|
|
'';
|
|
};
|
|
|
|
no_agda_input = defaultNullOpts.mkFlagInt 0 ''
|
|
Disable the default keybindings.
|
|
'';
|
|
|
|
bind_input_hook = defaultNullOpts.mkStr' {
|
|
pluginDefault = null;
|
|
example = "MyCustomHook";
|
|
description = ''
|
|
If you'd prefer to manage agda-input entirely on your own (perhaps in a snippet system), you
|
|
can customize the bind input hook.
|
|
'';
|
|
};
|
|
};
|
|
|
|
settingsExample = {
|
|
use_global_binary = 1;
|
|
agda_prefix = "<Tab>";
|
|
no_agda_input = 1;
|
|
bind_input_hook = "MyCustomHook";
|
|
};
|
|
}
|