On Thu, 28 Jan 2010 17:43:08 -0600
"Edward K. Ream" <[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.

Could this have reverted?  Seems 'expanded' attribute is getting written to 
leoPluginsRef.leo again?

Cheers -Terry

-- 
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