I'm always in favor of good separation of interests. It can be hard to achieve in practice, and it's always helpful to be diligent about keeping one's eye on the ball. What I'm reading here sounds pretty interesting.
About clones, we always talk about cloning nodes, but it seems to me that what actually gets cloned is an entire subtree - that is, the clone includes (clones of) a node's descendants. Perhaps a change in the conceptual model of clones from nodes to subtrees would make it easier to work out how to handle them. I'm not sure how a subtree is currently modeled in Leo. Since a tree can be built out of nodes that have child and parent nodes, one can be constructed without an explicit model for a (sub)tree. But since many operations we want to do are really on (sub)trees and not nodes, maybe an explicit tree concept in addition to a node concept would be useful(if there isn't one already). On Sunday, May 3, 2020 at 6:12:04 PM UTC-4, SegundoBob wrote: > > I've been thinking about implementing a directed graph editor for a long > time. Of course, most of my thinking is based on my use of Leo-Editor and > my limited understanding of its internals. I've done only a little > implementation of my ideas. I have not produced anything of use to me or > of interest to anyone else. > > But several months ago, I concluded that Leo-Editor positions are a very > bad idea and that using GNX's instead would be much simpler and much more > robust. I also concluded that in a directed graph, I don't need clones > because multiple parents is no big deal in a directed graph. Consequently, > I stopped worrying about clones. So I don't know if clones make GNX's > inadequate as pointers, requiring that v-nodes be used as pointers instead > of just GNX's. > > For the little it is worth, in so far as I understand Vitalije, and I > don't completely understand him, I think he is right. > > Respectfully, > SegundoBob > -- 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/a217cec6-f6b5-40b6-b696-4e366b27810d%40googlegroups.com.
