Refresh after delete file - Githubissues

devsoc-unsw / structs.sh

An educational data structures and algorithms platform.

https://structs.sh

MIT License

27 stars 7 forks source link

Refresh after delete file #682

Closed PolarisXII closed 1 month ago

PolarisXII commented 1 month ago

patched up 630-sus-out-current-workspacefile-implementation
force refresh workspace selector after file/folder gets deleted