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