On Tue, Nov 19, 2013 at 1:23 PM, Terry Brown <[email protected]>wrote:
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. > Interesting. I must have missed this. It should be relatively straightforward to do: Just look for headlines or body text. > > But scratch the "Then save and restart Leo.", and substitute "click the > reload-styles button above.", with a suitable @button in mySettings.leo. > I'm warming to this. Style settings have the greatest effect. People will want to play with them first, and iirc you have already written a reload-styles script. Yes? > > 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. > I was referring to this bug earlier today. We are on the same page here. Before we go further, please do look at the simplified and reorganized leoSettings.leo. I am amazed by how much like an .ini file it now looks. People are much less likely to freak now. I'm chagrined to realize how complex this must have seemed to newbies. In short, the new leoSettings.leo will help as is, but anything that makes playing with visual settings easier will be appreciated by everyone, including me. 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.
