I too find it irritating and disorienting. Good addition. On Wednesday, May 4, 2016 at 4:04:53 PM UTC-4, Edward K. Ream wrote: > > A new setting, True by default so default behavior doesn't change. > > When False, it suppresses the headlines search feature, which I am finding > increasingly irritating and confusing. It's too easy for me to have a > finger slip off the ctrl key, with the result that I am suddenly taken to > another node. YMMV. > > EKR >
-- 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.
