Jan Tusil (Feb 04 2022 at 07:44): Jan Tusil (Feb 04 2022 at 07:44):Hello, is it possible to share VSCoq's ProofView when sharing a session using the "Live Share" extension?
Fabian Kunze (Feb 04 2022 at 10:56):Did you try and it did not work, or are you asking if anyone tried it?
Jan Tusil (Feb 04 2022 at 10:58):I did try it and it didn't work. I was able only to share the editor.
Fabian Kunze (Feb 04 2022 at 11:00):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?):
https://github.com/MicrosoftDocs/live-share/issues/2184
Fabian Kunze (Feb 04 2022 at 11:02):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.
Jan Tusil (Feb 04 2022 at 11:07):Ok. Would you accept a pull-request adding such a feature?
Fabian Kunze (Feb 04 2022 at 14:34):We would be happy for that, of course :)
Notification Bot (Feb 04 2022 at 15:11):Jan Tusil has marked this topic as resolved.
Last updated: Jun 04 2023 at 22:30 UTC