p5.js-editor
p5.js-editor copied to clipboard
sidebar: delete doesn't close opened tab
- create a new file
- open sidebar and delete it via the drop-down menu
Issue --> the tab still exists, but shows no functionality other than allowing you to type --> if you try to change between tabs you can't return, because said tab is not responding
rename also does not work as expected: it creates a new empty file with the given name and leaves the old one as an unaccessible tab (practically erases all the content, that one has written into that file..)