coq-thirdparty
URL: https://github.com/ms-jpq/coq.thirdparty/
Maintainers: Gaetan Lepage
plugins.coq-thirdparty.enable
Whether to enable coq-thirdparty.
Type: boolean
Default:
false
Example:
true
Declared by:
plugins.coq-thirdparty.package
The coq-thirdparty package to use.
Type: package
Default:
pkgs.vimPlugins.coq-thirdparty
Declared by:
plugins.coq-thirdparty.autoLoad
Whether to automatically load coq-thirdparty when neovim starts.
Type: boolean
Default:
false when lazy-loading is enabled.
Example:
false
Declared by:
plugins.coq-thirdparty.callSetup
Whether to generate the standard require('coq_3p')(...) call for this plugin.
By default, this follows the plugin’s built-in behavior. Set this to false
to disable the generated setup call, or to true to force it even when the
plugin would only call it conditionally.
Type: null or boolean
Default:
null
Declared by:
plugins.coq-thirdparty.settings
Options provided to the require('coq_3p') function.
Type: lua value
Default:
{ }
Example:
[
{
short_name = "nLUA";
src = "nvimlua";
}
{
short_name = "vTEX";
src = "vimtex";
}
{
src = "demo";
}
]
Declared by: