> > Hang on, I've just described a cache. I don't think that is what you're > pointing towards, because that wouldn't make finding and changing the > setting currently of interest any easier. >
Oh but it could! If each cached setting had a breadcrumb trail back to where it was set. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/816ea0ad-50ba-4959-9851-111c0bbf4327%40googlegroups.com.
