For several years I've wondered if there was a way to show outline-oriented diffs more clearly. Doh! Leo already has a way. After changing files outside of Leo, say by using git revert/reset/checkout, Leo creates "Recovered Nodes" nodes when opening the file.
Iirc, these diffs are not created if Leo is already open. Instead a dialog asks whether to accept the changes. Terry's work yesterday makes this dialog much more useful by adding "yes to all" and "no to all" buttons. This suggests several straightforward changes to Leo: 1. Add a front-end to git diff that would create, say, "Git Diff" nodes having roughly the same format as "Recovered Nodes" nodes. 2. Create similar nodes when accepting changes to external files. I don't remember the details of how Leo creates "Recovered Nodes" nodes, but these projects should be feasible. 3. At present, the "Recovered Nodes" nodes contain *copies* of text, rather than clones. I don't remember why this is so. It may be because the nodes are created during startup, and the actual nodes might not be easily available. But after startup it should be possible to have the "new:" nodes be clones. 4. Similarly, the gnx's of nodes might not be available when creating "Recovered Nodes" nodes. Otoh, they might well be. (In that case, creating clones should be possible). In any case, after startup the gnx's will be available and clones should be possible. Furthermore, find-gnx or clone-find-gnx commands would "yield" (find or clone-find) the node with the given gnx. *Summary* Terry's work yesterday makes dealing with changed nodes much more convenient. That work suggests using "Recovered Nodes" nodes as a way of seeing the changes we have just made. This idea is not confined to startup. It should be possible to get outline-oriented diffs at any time. 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
