On Tue, 19 Nov 2013 07:17:14 -0800 (PST)
Fidel N <[email protected]> wrote:

> As long as it is possible, I would spare the noobies the traumatic 
> experience of having to go leosettings, by delaying it as much as possible. 
> It is always easy to traverse a mind-map you made, but it is a whole 
> different thing to do that with one you didnt create. So no matter how easy 
> it is, it will still be more difficult than the config option every other 
> program has.
> 
> That is why I would suggest to create a (simple as possible) gui that would 
> operate the leosettings file. We can even use the find-gui as a base for 
> that new one.
> And when the user clicks on "edit" then "settings", instead of being 
> redirected to leosettings, he should be redirected to that gui.
> 
> The buttons of such gui should be able to change a few basic things from 
> Leo without the user needing to edit any outline.

I'm going to bump my proposal here:
https://groups.google.com/d/msg/leo-editor/kRChje5wkXg/XeV8DWLe7HMJ
again - basically a config. *menu* with entries for all the common
things like font size, font family, main colors, which jumps you to the
appropriate piece of myleoSettings.leo with relevant instructions has
shown in the screenshot on the above.

But scratch the "Then save and restart Leo.", and substitute "click the
reload-styles button above.", with a suitable @button in mySettings.leo.

With this approach we can very quickly direct people to precisely the
nodes they need to edit to get the results they want.

Also, the very first step here is
https://bugs.launchpad.net/leo-editor/+bug/555014
(I think it's "create myLeoSettings.leo on first access", not on first
run.

Cheers -Terry

> So, lets take body font size as an example:
> A button from that gui could offer a size picking, then when picked, go 
> find the leosettings node that has the font size of the body, and replace 
> it with the new value.
> Same for the few very important settings every noob wants to configure, or 
> for the few settings we would like noobs to be able to access early on.
> 

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