On 5/27/20, vitalije <[email protected]> wrote: > > > On Wednesday, May 27, 2020 at 2:09:37 PM UTC+2, Differance wrote: >> >> On 5/27/20, vitalije <[email protected] <javascript:>> wrote: >> > @Differance >> >> Speaking roughly, I think regardless of the structure of the tree >> you've put in the clipboard, you can identify some that are clones of >> each other within the tree -- can't you look at vnodes to see the >> clones? > > Indeed we can look at vnodes and we'll see that each node found on the > clipboard has a corresponding node with the exactly the same gnx among the > known vnodes (providing that we copied from the same outline and that > outline has not been modified since). If we use this information to decide > whether node should be cloned or not then each node will be cloned and we > would have just what paste-retaining-clones does.
Right! And you would be able to identify "internal sets" that match and easily template-as-encapsulated with new vnodes, if the user chooses to do the encapsulated template mode. Plus, no need to go through marking things, even thinking hard about what you want "encapsulated" int he template and what you don't. You just think about whether in general what you want is for this template to be independent of other clones in the outline. You might generally prefer the clones be global. You could start with either type of template, encapsulated or global, and manually edit them wherever you want the other kind of clone. Marking things to be local might be a more take-charge mode, with a special "tailored-template" command. My scheme seems easier and simpler, no? :-) > Vitalije > > -- > 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/8336416d-1565-405c-928a-1a86afb09515%40googlegroups.com. > -- 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/CAJkfFBz3A1FJrQRgChyhrW9458Jv9BmFsO-qweptfTWNK8NRhg%40mail.gmail.com.
