Re: recover deleted node
On Sat, Mar 7, 2020 at 6:07 PM andyjim wrote: > > No I did NOT save after the delete. Undo does not work from the menu, but > Cmd-Z worked. I guess on Mac, Command is Control. > For the record, on Windows the Delete key deletes the node and puts a functional Undo Delete Node entry in the Edit menu. Edward -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2o2rn1nZimJcwKDctLugU_isCxmLt1qar8CN6WCFB9Rw%40mail.gmail.com.
Re: recover deleted node
On Saturday, March 7, 2020 at 7:07:50 PM UTC-5, andyjim wrote: > > Undo does not work from the menu, but Cmd-Z worked. I guess on Mac, > Command is Control. > > So I've got the lost node back. Thanks all for the help. > Whew! Hurray! And yes, as best as I know, CTRL (Windows) <==> CMD (Mac). I'm sorry I forgot that when I wrote earlier. -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/0fa2993a-7264-4f01-9e89-3771bf1ad1a7%40googlegroups.com.
Re: recover deleted node
On Saturday, March 7, 2020 at 3:30:32 PM UTC-5, Thomas Passin wrote: > > > Probably not. If you hadn't saved the outline after the delete, then you > could have closed it without saving and then reloaded it again. You would > have lost your work since the last save, but the node would have been there. > No I did NOT save after the delete. Undo does not work from the menu, but Cmd-Z worked. I guess on Mac, Command is Control. So I've got the lost node back. Thanks all for the help. -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/fe71f66e-7c8b-44e0-9052-a44392d8a026%40googlegroups.com.
Re: recover deleted node
On Saturday, March 7, 2020 at 3:25:13 PM UTC-5, andyjim wrote: > > > It says "Can't undo". No help from "Refresh from disk" or "Revert to > saved"? > Probably not. If you hadn't saved the outline after the delete, then you could have closed it without saving and then reloaded it again. You would have lost your work since the last save, but the node would have been there. -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/a70a56b9-85ad-43e8-bc48-14727b19ff8f%40googlegroups.com.
Re: recover deleted node
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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/ba028480-fb0a-42dd-94e1-6e71c6b5a08f%40googlegroups.com.
Re: recover deleted node
On Saturday, March 7, 2020 at 1:49:26 PM UTC-5, Edward K. Ream wrote: > > > delete-node is undoable, so undo should recover the node. > > Edward > It says "Can't undo". No help from "Refresh from disk" or "Revert to saved"? -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/5bdae5ac-a86a-4773-be60-58c877258475%40googlegroups.com.
Re: recover deleted node
On Saturday, March 7, 2020 at 3:21:53 PM UTC, 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) > FWIW I used to create a 'delete-with-confirm' command, and use the keybinding for that instead of just 'delete-node'. It always seemed just a bit too easy to delete node(s) otherwise... I don't seem to do this anymore - I can't remember quite why; I suspect I have just got a bit more confident about Leo's undo facility. You could setup something similar in the future if it helps, though. J^n -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/117190ac-a0bc-42f2-b291-095aa8fe3d40%40googlegroups.com.
Re: recover deleted node
On Sat, Mar 7, 2020 at 10:26 AM andyjim wrote: I have not closed Leo since deleting, and I have not saved the file since > deleting. So is that node still in the file on disk? > Leo never actually deletes any node data until you close Leo. This is because Leo supports unlimited undo. delete-node is undoable, so undo should recover the node. Edward -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS3omwDUiwfhrjDXay5TojDpKzPe_-GMyKGnaAAhSmEwQg%40mail.gmail.com.
Re: recover deleted node
On Saturday, March 7, 2020 at 10:25:25 AM UTC-5, Edward K. Ream wrote: > > > Deleting a node is undoable. If you then close Leo, the only way to undo > your change is git checkout. > > Edward > I have not closed Leo since deleting, and I have not saved the file since deleting. So is that node still in the file on disk? And if so, can I use "refresh from disk" or "revert to saved"? Which? I am not familiar with git checkout. (not familiar with git, though I sorta know what it is) -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/836814a7-0bcb-4407-9256-97260dcb95d5%40googlegroups.com.
Re: recover deleted node
On Sat, Mar 7, 2020 at 9:21 AM 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) > Deleting a node is undoable. If you then close Leo, the only way to undo your change is git checkout. Edward -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0Q1ozVhH_NVAePFRKN%2B_bgcEa8odMCJpbotBqeyRe34g%40mail.gmail.com.
