I tend to think that a local myLeoSettings.leo file is the answer, but that's probably due to my ignorance of the settings machinery.
I imagine the local settings file being able to disable all settings and, from this clean slate, define a simple (or other specialized) editor configuration. I bet that's not possible, hence the need for working with core settings. If it were possible, all it would require to implement a specialized Leo would be a settings file. On Wed, Nov 13, 2013 at 6:11 AM, 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. > > Edward > > -- > 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. -- 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.
