From 8f654a5cbfa8863ac790d288feb6d3922fe054e3 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sun, 12 Dec 2021 12:08:01 +0100
Subject: [PATCH] vim: add commands for (term)goals

---
 vimrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/vimrc b/vimrc
index 123c54a..24eb10c 100644
--- a/vimrc
+++ b/vimrc
@@ -372,6 +372,8 @@ nnoremap <space>f <cmd>lua vim.lsp.buf.formatting()<CR>
 
 " nnoremap <leader>i <Cmd>lua require('lean.infoview').toggle()<CR>
 au filetype lean,lean3 nnoremap <buffer> <leader>K <CMD>LeanLineDiagnostics<CR>
+au filetype lean,lean3 nnoremap <buffer> <leader>g <CMD>LeanGoal<CR>
+au filetype lean nnoremap <buffer> <leader>G <CMD>LeanTermGoal<CR>
 
 nnoremap <c-p> <cmd>Telescope find_files<cr>
 nnoremap <leader>ff <cmd>Telescope find_files<cr>