Stream: VsCoq devs & users

Topic: Develop and test server inter

view this post on Zulip Fabian Kunze (Oct 29 2020 at 16:44):

I want to edit vscoq itself and add an option to disable the part of proofview-diff that turns parts of my goal italic, as I hate how it looks (the changed backgroudn color can remain).

But I can't debug this change as I can't attach the client to the server using teh provided RunConfiguration : on both windows+WSL and my linux machine, I get the error "promise was canceled". (Just launching the client works and I could test the other change I made, see my other PR #165 ).

Alternatively, if someone can test whether the code on the other branch indeed works and allows to disable italic rendering of changes (using a new option), I can open the PR without myself testing the code first:

view this post on Zulip Fabian Kunze (Oct 29 2020 at 17:53):

Oh, i found that I can compile the extension as .vsix and at least test that way. So the question is not that important anymore.

Last updated: May 18 2024 at 08:40 UTC