plugins.lean.abbreviations.enable

Whether to enable expanding of unicode abbreviations.

Plugin default: true

Type: null or boolean or raw lua code

Default: null

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


_Plugin default:_ `{}`

Type: null or (attribute set of string)

Default: null

Declared by:

plugins.lean.abbreviations.leader

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

Plugin default: "\\"

Type: null or string or raw lua code

Default: null

Declared by: