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) -- 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/02c59342-a824-4bd8-a41a-bea33025c7cb%40googlegroups.com.