From 6d5d695217625a71d16f11cc43788935028c4be2 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Thu, 19 Sep 2024 08:02:23 -0400
Subject: [PATCH] Typing for some of the abbreviation config.

---
 lua/lean/config.lua | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/lua/lean/config.lua b/lua/lean/config.lua
index ec1771a4..15ac2208 100644
--- a/lua/lean/config.lua
+++ b/lua/lean/config.lua
@@ -9,7 +9,7 @@
 ---@class lean.Config
 ---@field mappings? boolean whether to automatically enable key mappings
 ---@field ft? lean.ft.Config filetype configuration
----@field abbreviations? table abbreviaton configuration
+---@field abbreviations? lean.abbreviations.Config abbreviaton configuration
 ---@field infoview? table infoview configuration
 ---@field lsp? table language server configuration
 ---@field progress_bars? table progress bar configuration
@@ -17,6 +17,10 @@
 
 ---@class lean.MergedConfig: lean.Config
 
+---@class lean.abbreviations.Config
+---@field leader? string which key to use to trigger abbreviation expansion
+---@field extra table<string, string> a table of extra abbreviations to enable
+
 ---@class lean.ft.Config
 ---@field nomodifiable string[] globs to prevent accidental modification
 
@@ -24,6 +28,11 @@
 local DEFAULTS = {
   mappings = false,
 
+  abbreviations = {
+    leader = '\\',
+    extra = {},
+  },
+
   ---@type lean.ft.Config
   ft = {
     nomodifiable = {