On Tue, Dec 14, 2010 at 6:46 PM, SegundoBob <[email protected]> wrote:
> I suggest making the functions simpler and the facility more flexible > by adding a method children() to the poslist class. This method would > correspond to method p.children(), which returns only the "immediate > children" of position p. And, of course, change select_h() to prune > the positions in the poslist, instead of the children of these > positions. This would make descending the tree explicit, less > surprising, and more flexible. You can see that I agreed in march 2009: http://www.mail-archive.com/[email protected]/msg05704.html And, I still do. I don't know why I never got it done. Probably ended up being too busy. If you feel like implementing the feature in trunk now, go ahead with my permission ;-). -- Ville M. Vainio @@ Forum Nokia -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
