Along these lines, I recall discussion of a possible clean-up of key bindings, a number of out-of-the-box bindings being somewhat obscure, and limiting availability for user-defined ones. I don't, however, recall the conclusion of the discussion.
Thanks, Kent On Mon, Jun 9, 2014 at 10:42 AM, 'Terry Brown' via leo-editor <[email protected]> wrote: > On Mon, 9 Jun 2014 06:31:03 -0700 (PDT) > Todd Mars <[email protected]> wrote: > >> >> >> There is no reason why the settings cannot be made user friendly, >> other than the work involved. >> Simply enumerating the specific problems from the beginning, and >> designing a friendly user interface to perform the tasks. >> When that is done, a good programmer can do it. > > Bear in mind that that are ~1100 nodes in the Leo @settings tree. So > at least ~1000 settings that can be set, some of which have complex > values. If Leo's settings are going to be handled in a Leonine way, > it's a matter of making the use of Leo to manage common settings user > friendly enough that it's no barrier to newbies. So a hierarchical > Settings menu which lands you in the right place, and a @settings > editing environment documented and tuned for easy editing (color, font, > file, and directory selection tools for example). > > But you're right, ultimately it's just a matter of finding time. > > Cheers -Terry > >> Todd. >> > > -- > 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/d/optout. -- 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/d/optout.
