What was the motivation of *override-parent-p*? Or, more specifically, why does it exist at all and why isn't it true by default? I thought that we want to maintain a healthy widget tree at all times, which might involve changing the widget's parent sometimes, or setting it twice.
--J. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "weblocks" 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/weblocks?hl=en -~----------~----~----~----~------~----~------~--~---
