search

Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
278 stars 27 forks source link

Return correct has_satellite #361

Open adlerd opened 2 weeks ago

adlerd commented 2 weeks ago

Progress bars are being disabled even when satellite is not present. Returning false from satellite.lua in this case restores the progress bars.