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:
https://github.com/fakusb/vscoq/tree/noItalicDiff
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: Mar 29 2024 at 04:02 UTC