On Saturday, March 7, 2020 at 10:21:53 AM UTC-5, andyjim wrote: > > I deleted a node I didn't mean to delete. > > I assume revert/refresh is the way to recover that, but what is the > difference between "Refresh from disk" and "Revert to saved"? > > Or is there a direct way to recover it? (can't undo) >
Edward wrote about "Undo". The usual way to do this is with "CTRL-Z", once for every action (i.e., keystroke"). So if you typed 20 characters after the delete, you might have to hit CTRL-Z 20 times (sometimes several keystrokes may be undone at once, so it may not be exactly 20). It works - I've done the same thing. The suggestion of getting it back from GitHub probably doesn't apply to you. If you had earlier versions of your work under version control on Github, then you could get back an earlier version. But you probably haven't been using that. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/ba028480-fb0a-42dd-94e1-6e71c6b5a08f%40googlegroups.com.
