I'm very late to the appearance party. The edit settings menu is great, it exposes the workings in a way that simplifies while educating. By following the links and reading the text I quickly learn how Leo does it.
I loaded the Colors node into myLeoSettings.leo and changed the value of @color body-bg = white to @color body-bg = yellow I saved, revert to saved, no change, closed and re-opened, no change, it seems colors are being configured elsewhere ... I did <alt-x> print-settings ... [M] bodybg = yellow ... odd, in the settings pane, among the expected listings are a bunch like <t tx="tbrown.201508217150.66">status-border-style</t> On Sun, Aug 23, 2015 at 11:50 AM, 'Terry Brown' via leo-editor <leo-editor@googlegroups.com> wrote: > There's now an "Edit settings" menu under the main Settings menu. > > It's not going to make everyone (anyone?) happy, you still have to edit > the content of a Leo headline to change font size etc. The new > functionality is that it finds the appropriate setting and copies it to > the appropriate outline for you, so knowing what to look for and how to > manage it is handled. > > Sometimes you'll see this: > > The relevant setting, '@bookmarks_base_color', is using the value of > a more general setting, '@text-foreground'. Would you like to edit > the more specific setting, '@bookmarks_base_color', or the more > general setting, '@text-foreground'? The more general setting may > alter appearance / behavior in more places, which may or may not be > what you prefer. > > Edit specific Edit general Cancel > > Wordy, but I think easy enough to follow. I guess everything after the > last comma could be deleted :-) > > If the setting is in leoSettings.leo, you see: > > The setting '@body-font-family' is in the Leo global configuration > file 'leoSettings.leo' and should probably be copied to > 'myLeoSettings.leo' before editing. > It may make more sense to copy a group or category of settings. > > Please enter 1, 2, 3, or 4: > 1. copy the one setting, '@body-font-family' > 2. copy the setting group, 'Body font' (Recommended) > 3. copy the setting whole category, 'Fonts' > 4. edit the setting in 'leoSettings.leo' anyway > > Again, wordy, but I think easy enough to understand. > > (Having to enter a number to pick an option is clunky, a > gui-independent 'pick item from list widget' can be added to Leo, I > just didn't want to mix that task into the current task.) > > Note "Reload settings" isn't working as effectively as I think it > should, that may need to be addressed as well. Unrelated to the new > code. > > So, this isn't a silver bullet for the newbie setting editing woes, but > it does eliminate a lot of the Leo specific knowledge required (apart > from "edit a headline"). Also this new approach can be developed > further based on feedback, just wanted to get what I had so far into > the main branch for testing etc. > > 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 leo-editor+unsubscr...@googlegroups.com. > To post to this group, send email to leo-editor@googlegroups.com. > 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
