Romain Tetley
Romain Tetley
Yup I was trying to fix the include dir, sorry having a hard time using the correct env variables in the context of opam, it looks like the HOMEBREW_PREFIX variable...
Duplicate of #571 Keeping open for the conversation
Thanks for your report ! Concerning the crash you noticed (editing in continuous mode): it seems to be fixed in the latest release ! For the feature request, this can...
I like this ! However I wonder if finding the correct position should be done on the server side rather. What do you think @gares ?
Also I think it should be an option maybe other users can give their sentiment about this ?
> > I love it too, thanks! > > The lang server knows the end of sentences, it should compute what next means. > > Sounds good, I can start...
Yup ! Thanks a lot ! This is good for me ! @gares I'll let you take care of it as you requested the changes !
The problem is that all the other functions in the interpretToPoint function rely on the position, such as ```mk_proof_view_event```, etc.... So you at least have to propagate the new position....
> > So you at least have to propagate the new position. Your solution would be fine as long as `Dm.DocumentManager.interpret_to_next_position` also returns the value of `next_pos`, and the we...
@gares I can't merge this since you asked for the changes !