On Wed, 13 Nov 2013 06:11:32 -0600
"Edward K. Ream" <[email protected]> wrote:

> On Mon, Nov 11, 2013 at 11:02 AM, <[email protected]> wrote:
> 
> > What I had in mind, however, would not be limited to a single file
> > (quickstart). Rather, it would be a simplified mode of operation across the
> > program. I am not clear if what you are saying is similar to this.
> >
> 
> I understand the difference, but there is no way Leo is going to support a
> beginner's mode *directly*, that is, with switches within Leo.
> 
> However, Leo's configuration machinery is easily up to the task of creating
> any desired user experience.
> 
> One way would be to put a complete set (disabled) settings in
> LeoSettings.leo for beginners.  Like this:
> 
> @settings (normal, enabled settings)
> 
> @@settings (disabled, beginners settings)
> 
> Yes, we could enable the beginners settings by default in leoSettings.leo,
> but this creates difficulties for all existing users.  I'm not going to do
> that.
> 
> Perhaps we could have a --simplified command-line option, that would search
> for @simplified-settings instead of @settings everywhere.
> 
> That would work, and would hardly change Leo's core code at all.  Otoh,
> it's just one more thing to document.  Distributing a simplified set of
> settings in leoSettings.leo seems like the simplest thing that could
> possibly work.
> 
> Your comments please.

Most apps like Leo have some command line switch to control which, if
any, settings are read.  Leo has --no-plugins, but not --no-settings,
--settings <filename>, --no-user-settings etc.  Seems like adding those
might be the way to go, that could then be used to make an "EasyLeo"
shortcut which uses --setings .../leo/conf/leoSettingsSimple.leo.

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 http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to