Visual Indicator for Infoview pause

Julian / lean.nvim

Neovim support for the Lean theorem prover

MIT License

270 stars 25 forks source link

Visual Indicator for Infoview pause #344

Open JadAbouHawili opened 3 months ago

JadAbouHawili commented 3 months ago

Didn't find anything related to this in the docs(unless i didn't search hard enough).

Julian commented 3 months ago

There isn't anything at the minute, yeah. #30 is slightly related (in that it's a different piece of state we could communicate through the infoview).