plugins.lean.abbreviations.enable

Whether to enable expanding of unicode abbreviations.

Type: null or boolean or raw lua code

Default: null

Plugin default: true

Declared by:

plugins.lean.abbreviations.extra

Additional abbreviations.

Example:

  {
    # 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 = "♘";
  }

Type: null or (attribute set of string)

Default: null

Plugin default: {}

Declared by:

plugins.lean.abbreviations.leader

Change if you don’t like the backslash. (comma is a popular choice on French keyboards)

Type: null or string or raw lua code

Default: null

Plugin default: "\\"

Declared by: