dogisgreat

like `COQ_DEBUG=1 nvim`

oh wow all the `WORKER -- ...` are missing, those are the sources! thats so weird

honestly? i've thought about it before and i thought [i'd wait for treesitter to add markdown](https://github.com/nvim-treesitter/nvim-treesitter/issues/872). but thats not coming anytime soon so... maybe? haha, this is definitely one of...

I am honestly not a fan of the `conseal` approach, on some LSPs it messes things up bigly. maybe ill just parse it myself, its not very difficult just super...

anyways the plan for me is to touch grass for a bit so thats not coming until later, since its a not really a big obstacle to usability

sorry I dont really know exactly what you mean, do you mean that when you do `` and ``, it shows you like a preview of what would be inserted?...

> > Also I think this is what prevents the selected suggestion from being inserted: > > > > > > > > > > > > > > >...

@HansPinckaers , notice how in the gif the position of the popup doesn't change, even as the cursor moves forward. this is the "trick", to supporting setting `word=""`, because for...

in fact, `coq` was designed with Tabnine as an equal citizen to `LSP`. not that I found Tabnine super useful, but because I found Tabnine's protocol kinda interesting. Literally every...

that is a really good idea!, but I don't think its possible to get the syntax highlight to match up though. the syntax parsers will have no context to work...