Fix ada leave buffer error
Some checks failed
Test Neovim config on push / build (ubuntu-20.04) (push) Failing after 1m16s

This commit is contained in:
nichkara
2025-11-01 07:28:23 +01:00
parent 7b3f516848
commit 5afb974b78

View File

@@ -51,10 +51,6 @@ 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