Closed liu20001028 closed 1 month ago
I have already deleted the local file, but it still shows up in Pluto. Could you add a delete button so that I can remove it from the ‘Open Records’?
in #2340 it already show ! I love pluto than jupyter! l want it will be anothe jupyter !
https://github.com/fonsp/Pluto.jl/issues/2340
https://github.com/fonsp/Pluto.jl/issues/563
I have already deleted the local file, but it still shows up in Pluto. Could you add a delete button so that I can remove it from the ‘Open Records’?