Don't quash the copilotchat mapping in Lean buffers.

Author: Julian

.config/nvim/after/ftplugin/lean.lua

@@ -3,6 +3,14 @@ vim.wo.signcolumn = 'yes'
 -- Match mathlib's default style.
 vim.bo.textwidth = 100
 
+vim.keymap.del('n', '<LocalLeader>c', { buffer = true })
+vim.keymap.set(
+  'n',
+  '<LocalLeader>C',
+  '<Plug>(LeanInfoviewClearPins)',
+  { buffer = true }
+)
+
 vim.keymap.set('n', '<LocalLeader>g', function()
   require'telescope.builtin'.live_grep{
     glob_pattern = '*.lean',