I'm pretty sure it must be some sort of regression. When using synth
or Suggest
it doesn't show suggestions on the right panel. This bug is present on coq-lsp as well as on the online demo.
When I'm less lazy I might file a GitHub issue. I currently have other stuff I gotta work on.
Seems to work for me:
image.png
Screenshot_2024-04-10-20-48-38-285_com.android.chrome.jpg
well it's a regression it used to work fine
your browser might've cached an older version of the dependencies
I just tested the demo, having never tried it before, and it works. But the cursors has to be before the .
not after like on your screenshot (I was confused at first).
Last updated: Oct 13 2024 at 01:02 UTC