Theodore Norvell
Results
2
issues of
Theodore Norvell
First off, thanks for this patch. I got it installed on MacOS 13 ventura with a Bamboo Capture CTH-470 and everything works except one thing: As soon as my pen...
I get the following error message from the Dafny Language Server. ``` key not found [Error - 7:54:41 PM] Request codeLens/resolve failed. Message: Could not resolve CodeLens: Key not Found...
Type: Bug
Affects: Server