From 430f0ddfc425151d9bddb4d16d3ff80f8f59404b Mon Sep 17 00:00:00 2001 From: "pre-commit-ci[bot]" <66853113+pre-commit-ci[bot]@users.noreply.github.com> Date: Wed, 8 Jan 2025 23:50:36 +0000 Subject: [PATCH] [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --- spec/infoview/jump_spec.lua | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/spec/infoview/jump_spec.lua b/spec/infoview/jump_spec.lua index c09072bb..889d8859 100644 --- a/spec/infoview/jump_spec.lua +++ b/spec/infoview/jump_spec.lua @@ -5,8 +5,8 @@ require 'spec.helpers' local fixtures = require 'spec.fixtures' -local infoview = require 'lean.infoview' local helpers = require 'spec.helpers' +local infoview = require 'lean.infoview' require('lean').setup {} @@ -24,12 +24,12 @@ 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) it('jumps back from infoview to the associated Lean file', function() - helpers.feed('') + helpers.feed '' assert.current_window.is(lean_window) end) end)