Hello, is it possible to share VSCoq's ProofView when sharing a session using the "Live Share" extension?
Did you try and it did not work, or are you asking if anyone tried it?
I did try it and it didn't work. I was able only to share the editor.
We currently use the "Webview" feature for the proofview, rendering arbitrary html in the tab. This is not supported in the LiveShare (probably because of security reasons?):
The closing comment of the issue shows a way to implement compatibility, but with the current focus and the expected programming-work-to-users-ratio, I don't think this support will be implemented soon, sorry.
Ok. Would you accept a pull-request adding such a feature?
We would be happy for that, of course :)
Jan Tusil has marked this topic as resolved.
Last updated: Jan 30 2023 at 18:04 UTC