plugins.cornelis.settings
The configuration options for cornelis without the cornelis_ prefix.
For example, the following settings are equivialent to these :setglobal commands:
foo_bar = 1->:setglobal cornelis_foo_bar=1hello = "world"->:setglobal cornelis_hello="world"some_toggle = true->:setglobal cornelis_some_toggleother_toggle = false->:setglobal nocornelis_other_toggle
Type: attribute set of anything
Default:
{ }
Example:
{
agda_prefix = "<Tab>";
bind_input_hook = "MyCustomHook";
no_agda_input = 1;
use_global_binary = 1;
}
Declared by:
plugins.cornelis.settings.agda_prefix
Prefix used for agda keybindings.
Type: null or string or raw lua code
Default:
null
Plugin default: "<localleader>"
Example:
"<Tab>"
Declared by:
plugins.cornelis.settings.bind_input_hook
If you’d prefer to manage agda-input entirely on your own (perhaps in a snippet system), you can customize the bind input hook.
Type: null or string or raw lua code
Default:
null
Plugin default: null
Example:
"MyCustomHook"
Declared by:
plugins.cornelis.settings.no_agda_input
Disable the default keybindings.
Type: null or (one of 0, 1) or raw lua code
Default:
null
Plugin default: 0
Declared by:
plugins.cornelis.settings.use_global_binary
Whether to use global binary instead of stack.
Type: null or (one of 0, 1) or raw lua code
Default:
null
Plugin default: 0
Declared by: