Deleting a folder
I'm having problems deleting a folder. Whenever I try to delete it, either through the UI or the shell, the plugin crashes. Once repl reloads, the folder is still there. Sometimes it's not visible from the shell, but is visible in the sidebar file tree. Is there any solution for this?
@RossJames no it's p consistent, it happens on repls all the time. Sometimes the file just deletes itself, and whenever i click the file link in the sidebar, the app crashes. To fix it I usually need to create a file with the same name in the shell, and then right click on it in the sidebar to delete it.
EDIT: for a single file, it's not terrible to do, but for a folder with hundreds of files, it's kind of unmanageable.