Okay, I will file this tomorrow. Distilling more coherently my findings 
from this post.

On Tuesday, April 26, 2016 at 8:13:32 PM UTC-4, Edward K. Ream wrote:
>
> On Tue, Apr 26, 2016 at 7:00 PM, john lunzer <[email protected] 
> <javascript:>> wrote:
>
>> Additionally, renaming a non-@<file> parent node will recursively set all 
>> @<file> child nodes to dirty. 
>>
>
> ​Whatever the merits of this, messing with the recursive methods is too 
> big a change for 5.3. I think this merits bug report.  Feel free to file it.
>
> 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.

Reply via email to