On Tue, 27 Jun 2017 11:27:27 -0500
"Edward K. Ream" <[email protected]> wrote:

> > But a large part of the proposal's benefit is in the non-UI
> > simplification of @settings loading.
> 
> ​How does that help new users?​

That's the problem with this proposal, it's so overloaded with benefits
it's hard to keep them categorized ;-)

This doesn't help new users directly, it just simplifies Leo's code
base and init.  It does make it easier to write a @settings GUI
that's simpler for new users, but that's a separate benefit.

Cheers -Terry

-- 
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to