Stream: VsCoq devs & users

Topic: ✔ VSCoq LiveShare ProofView


view this post on Zulip 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?

view this post on Zulip Fabian Kunze (Feb 04 2022 at 10:56):

Did you try and it did not work, or are you asking if anyone tried it?

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Jan Tusil (Feb 04 2022 at 11:07):

Ok. Would you accept a pull-request adding such a feature?

view this post on Zulip Fabian Kunze (Feb 04 2022 at 14:34):

We would be happy for that, of course :)

view this post on Zulip Notification Bot (Feb 04 2022 at 15:11):

Jan Tusil has marked this topic as resolved.


Last updated: Mar 28 2024 at 19:02 UTC