At last I have stopped dithering about this. As the checkin log says, this is the expected default. You could call it the only reasonable default.
Those with problems with many networked files probably have set this to False in their problem .leo files. Newbies should get the expected behavior. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.