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 or raw lua code))
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: