From c8329efefa0b773abb98d651494f86ae63372d17 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Fri, 11 Oct 2024 17:19:13 -0400
Subject: [PATCH] Fix the :Lean goal commands.

These need tests clearly...
---
 lua/lean/commands.lua | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/lua/lean/commands.lua b/lua/lean/commands.lua
index 100c5baa..b8550cc2 100644
--- a/lua/lean/commands.lua
+++ b/lua/lean/commands.lua
@@ -43,35 +43,32 @@ local function show_popup_or_error(elements, err)
 end
 
 function commands.show_goal(use_widgets)
-  local bufnr = vim.api.nvim_get_current_buf()
   local params = vim.lsp.util.make_position_params()
 
   a.void(function()
-    local goal, err = components.goal_at(bufnr, params, nil, use_widgets)
+    local goal, err = components.goal_at(params, nil, use_widgets)
     show_popup_or_error(goal, err)
   end)()
 end
 
 function commands.show_term_goal(use_widgets)
-  local bufnr = vim.api.nvim_get_current_buf()
   local params = vim.lsp.util.make_position_params()
 
   a.void(function()
-    local goal, err = components.term_goal_at(bufnr, params, nil, use_widgets)
+    local goal, err = components.term_goal_at(params, nil, use_widgets)
     show_popup_or_error(goal, err)
   end)()
 end
 
 function commands.show_line_diagnostics()
   local params = vim.lsp.util.make_position_params()
-  local bufnr = vim.api.nvim_get_current_buf()
 
   a.void(function()
     local diagnostics, err
     if progress.at(params) == progress.Kind.processing then
       err = 'Processing...'
     else
-      diagnostics, err = components.diagnostics_at(bufnr, params, nil, false)
+      diagnostics, err = components.diagnostics_at(params, nil, false)
     end
     show_popup_or_error(diagnostics, err)
   end)()