More lean keymappings

2024-01-31 20:52:04 -05:00 · 2024-01-31 20:52:04 -05:00 · bd62b52285
commit bd62b52285
parent ca3b74c5f6
1 changed files with 12 additions and 11 deletions
--- a/nix/base-system/init.lua
+++ b/nix/base-system/init.lua
@ -512,6 +512,7 @@ lean.setup{
            vim.keymap.set({ "n", "v" }, "<Leader>ti", function() vim.cmd("LeanInfoviewToggle") end, opts)
            vim.keymap.set({ "n", "v" }, "<Leader>sg", function() vim.cmd("LeanGoal") end, opts)
            vim.keymap.set({ "n", "v" }, "<Leader>stg", function() vim.cmd("LeanTermGoal") end, opts)
+            vim.api.nvim_buf_set_option(bufnr, 'omnifunc', 'v:lua.vim.lsp.omnifunc')
        end
    },
    mappings = true,