Figured as much. Vanilla ... hehe ... I think my current flavor is more like Hot Fudge Cashew Marshmallow Cookie Dough Snickers Crunch
dipped and sprinkled On Mon, Aug 24, 2015 at 9:48 AM, 'Terry Brown' via leo-editor <[email protected]> wrote: > On Mon, 24 Aug 2015 09:30:19 -0500 > Kent Tenney <[email protected]> wrote: > >> 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 ... > > One thing I intended but forgot to mention is that Edit settings is > really only "guaranteed" to work with a fairly vanilla Leo setup, > particularly if you're using any theme or older stylesheet that doesn't > get parameterized by the settings in > leo/config/leoSettings.leo#@settings-->Appearance (change these first)-->Qt > Gui settings > or their local overrides, then it won't have a lot of effect. > > So more work is needed to make sure that that distributed themes are > parameterized by those settings, we need to not have the default theme use > "body-bg" and another theme use "body-background" for example. Themes > can use whatever settings and style code they want, but they should use > the same parameters where-ever possible. It would be possible to add > theme specific entries to the new menu, but lets get themes working > better in general first. > > Also the new menu only provides management of the settings in > leo/config/leoSettings.leo#@settings-->Appearance (change these first)-->Qt > Gui settings > I didn't do any checking to see that they're all used in the default > stylesheet that's parameterized with them. I typically just tested > font size and family, which seemed to work fine as long as you > re-opened an outline. > > Cheers -Terry > >> 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 >> <[email protected]> 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 >> > [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. -- 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.
