This repository has been archived by the owner on Nov 27, 2023. It is now read-only.
Deleting the source code thows an exception #1963
Labels
bug
Something isn't working
code editor
Relates to the code editor
good first issue
Good for newcomers
Describe the Bug
An unhandled exception is thrown upon deleting the source code
Steps to Reproduce the Bug or Issue
Screenshots or Videos
Screencast.from.2023-06-13.16-09-37.webm
Platform
The text was updated successfully, but these errors were encountered: