Closed DavyLandman closed 1 month ago
This improves UX by reporting a crash inside one of the rascal callbacks of the rascal-lsp server to a user.
Before it would crash, dump a log to the output window, and only for some of the errors, report anything to the end user.
This PR shows an error:
and then allows the user to directly open a issue:
(not that if the error is a rascal error, you should see a a rascal stack trace).
This fixes #406
Issues 0 New issues 1 Accepted issue
Measures 0 Security Hotspots 0.0% Coverage on New Code 0.0% Duplication on New Code
See analysis details on SonarCloud
This improves UX by reporting a crash inside one of the rascal callbacks of the rascal-lsp server to a user.
Before it would crash, dump a log to the output window, and only for some of the errors, report anything to the end user.
This PR shows an error:
and then allows the user to directly open a issue:
(not that if the error is a rascal error, you should see a a rascal stack trace).
This fixes #406