nixvim docs

plugins.lean.settings.abbreviations.enable

Whether to enable expanding of unicode abbreviations.

Type: null or boolean or raw lua code

Default: null

Plugin default: true

Declared by:

• <nixvim/plugins/by-name/lean>

plugins.lean.settings.abbreviations.extra

Additional abbreviations.

Type: null or (attribute set of (string or raw lua code)) or raw lua code

Default: null

Plugin default: { }

Example:

```nix
{
  # Add a \wknight abbreviation to insert ♘
  #
  # Note that the backslash is implied, and that you of
  # course may also use a snippet engine directly to do
  # this if so desired.
  wknight = "♘";
}

Declared by:

• <nixvim/plugins/by-name/lean>

plugins.lean.settings.abbreviations.leader

Change if you don’t like the backslash.

Type: null or string or raw lua code

Default: null

Plugin default: "\\"

Declared by:

• <nixvim/plugins/by-name/lean>