p5.js-editor icon indicating copy to clipboard operation
p5.js-editor copied to clipboard

sidebar: delete doesn't close opened tab

Open mrvary opened this issue 8 years ago • 1 comments

  1. create a new file
  2. 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

bildschirmfoto 2016-11-26 um 14 30 31

mrvary avatar Nov 26 '16 13:11 mrvary

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..)

mrvary avatar Nov 26 '16 15:11 mrvary