Pluto.jl: Add "undo" for deleting one or several cells

Created on 13 Jun 2020  路  6Comments  路  Source: fonsp/Pluto.jl

I just deleted a cell I needed and don't think I can get it back!

picture dpsanders
👍2

Most helpful comment

pluto_revival

picture fonsp on 16 Jul 2020
🚀2

All 6 comments

110

fonsp picture fonsp on 13 Jun 2020

(I'm sorry that you lost a cell!)

fonsp picture fonsp on 13 Jun 2020

Since universal Ctrl+Z is still a long way off, we could add a bubble in the corner of your screen when you delete a cell:

Cell deleted! UNDO

like in gmail

fonsp picture fonsp on 3 Jul 2020
👍1

@Pocket-titan suggested that deleting should require a second confirmation click

fonsp picture fonsp on 8 Jul 2020
👍2 👀1

pluto_revival

fonsp picture fonsp on 16 Jul 2020
🚀2

the undo delete cell button disappeared before I could click it!

another lost cell :cry:

how can I undo once the button disappears?

SimonEnsemble picture SimonEnsemble on 22 Sep 2020
👍1
Was this page helpful?
0 / 5 - 0 ratings

Related issues

fonsp picture fonsp  路  5Comments
briochemc picture briochemc  路  5Comments
garrison picture garrison  路  4Comments
enuit picture enuit  路  3Comments
fonsp picture fonsp  路  4Comments