It took me a while to grasp the flexibility behind the way Leo currently does settings. Reading the "Configuring Leo" section of the documentation about six times while experimenting with a set of settings was instructive. I can now use myLeoSettings.leo and per outline settings to great effect. I never change the leoSettings.leo file. If something new is being pushed, as detailed here in the group, I can disable the corresponding part of the @settings tree in myLeoSettings.leo in order to see what I think of the new defaults and by having ONLY the settings that I have changed in the myLeoSettings.leo file it keeps the settings important to me visible.
Not to mention that doing settings in an outline makes them subject to the power of Leo as you have experienced in Terry's theming outlines. Chris On Sunday, November 17, 2013 2:40:01 PM UTC-8, jqui...@gmail.com wrote: > > On Sunday, November 17, 2013 11:28:17 PM UTC+1, Terry wrote: > > How did you create your myLeoSettings.leo? >> >> For what I think you're trying to do, you should have started with an >> empty file, made a @settings node in it, and copied the >> 'leo_dark theme 0 settings' node from leoSettings.leo under the >> @settings node you created. >> > > That's exactly what I did. > > >> >> Assuming that's what you did, which settings are you seeing duplicated? >> >> > I have just realized that the settings in the the @data > qt-gui-plugin-style-sheet node are automatically generated by the script in > the "stylesheet & source" node, based on the settings stored in the > children nodes. Initially, I had been changing the settings in the children > node, not caring much about the @data qt-gui-plugin-style-sheet node, which > still retained the old values. Now, I know about it (and I have > successfully generated it via the script), but still I don't understand > what is the need for it, since those settings were already stored in the > other nodes?! Clearly, I am missing something. > > > >> Also, for future reference, which OS are you using? >> > > Windows 8.1 > > Please, Terry, do weed out the redundant parts. Maybe restructuring the > settings tree would also improve things. > > > -- 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/groups/opt_out.
