On Thu, Jan 28, 2010 at 2:47 PM, Terry Brown <[email protected]> wrote:
> Very nice, editing a plugin, leoPluginsRef.leo doesn't change even though 
> I've changed the expansion and saved it.  Much better.

Thanks.  I've even considered caching marks and expansion bits.  Any
non-critical info is a candidate for caching.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" 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/leo-editor?hl=en.

Reply via email to