From 19a27a004e0f90237c2853c0d82bfc270f898784 Mon Sep 17 00:00:00 2001
From: Nick <nick@nickr.eu>
Date: Sun, 19 Oct 2025 07:01:20 +0200
Subject: [PATCH] Unset ada keymaps when leaving ada buffers

---
 lua/ada_mode.lua | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/lua/ada_mode.lua b/lua/ada_mode.lua
index 9e1b401..a62eecd 100644
--- a/lua/ada_mode.lua
+++ b/lua/ada_mode.lua
@@ -29,15 +29,14 @@ function Close_Prove()
 	end
 end
 
-vim.keymap.set("n", "pp", ":lua Close_Prove()<cr>")
-vim.keymap.set("n", "<leader>pp", ":lua Prove()<cr>")
-vim.keymap.set("n", "<leader>op", ":lua Run()<cr>")
-
 -- @name setup_ada
 -- @param
 -- @short Verify installation of ada tools or install them.
 local function setup_ada()
 	vim.keymap.set("n", "<leader>cb", ":!gnatpp %<cr>")
+	vim.keymap.set("n", "pp", ":lua Close_Prove()<cr>")
+	vim.keymap.set("n", "<leader>pp", ":lua Prove()<cr>")
+	vim.keymap.set("n", "<leader>op", ":lua Run()<cr>")
 	vim.opt.tabstop = 3
 	vim.opt.shiftwidth = 3
 end
@@ -52,6 +51,10 @@ vim.api.nvim_create_autocmd({ "BufEnter" }, {
 -- @param
 -- @short Leave ada and reverse any changes to my editor defaults
 local function leave_ada()
+	vim.keymap.del("n", "<leader>cb", ":!gnatpp %<cr>")
+	vim.keymap.del("n", "pp", ":lua Close_Prove()<cr>")
+	vim.keymap.del("n", "<leader>pp", ":lua Prove()<cr>")
+	vim.keymap.del("n", "<leader>op", ":lua Run()<cr>")
 	vim.opt.tabstop = 4
 	vim.opt.shiftwidth = 4
 end