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=1
  • hello = "world" -> :setglobal cornelis_hello="world"
  • some_toggle = true -> :setglobal cornelis_some_toggle
  • other_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: