search

cs136 / seashell

Seashell is an online environment for editing, running, and submitting C programming assignments.
GNU General Public License v3.0
38 stars 19 forks source link

After deleting a file, it still shows up in the "Open File" drop down menu #802

Closed yc2lee closed 7 years ago

yc2lee commented 7 years ago

Refreshing the page or leaving & re-entering the question makes the deleted file go away, but it should be removed right away

e45lee commented 7 years ago

See also #791