addressed comments

Julian · Jan 9, 2025 · e890efe · e890efe
1 parent 21f085d
commit e890efe
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/lua/lean/infoview.lua b/lua/lean/infoview.lua
@@ -599,7 +599,6 @@ function Info:new(opts)
 
   new_info.__pins_element.events = {
     goto_last_window = function()
-      print(vim.inspect(new_info))
       if not new_info.last_window then
         return
       end

diff --git a/spec/infoview/jump_spec.lua b/spec/infoview/jump_spec.lua
@@ -22,7 +22,7 @@ describe('infoview jumping', function()
     -- Both Lean and infoview windows exist
     assert.windows.are(lean_window, current_infoview.window)
 
-    vim.cmd 'LeanGotoInfoview'
+    vim.cmd.LeanGotoInfoview()
     assert.current_window.is(current_infoview.window)
   end)