On Sun, 17 Nov 2013 12:37:59 -0800 (PST) [email protected] wrote: > I have been trying to customize the appearance of the user interface (only > colors and font sizes) by tinkering with myLeoSettings.leo. > The problem is that this process *looks* straightforward, but it isn't. > Once you set the value of a parameter in myLeoSettings.leo, you assume that > the value you specified will be effective the next time you restart the > program. But I am discovering that it is not so. > It seems that the same key/value pair is present at multiple places within > the myLeoSettings.leo file. My understanding is that the very last time > that one key/value pair is read will override whatever comes before. Please > confirm if indeed it is so.
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. Assuming that's what you did, which settings are you seeing duplicated? Also, for future reference, which OS are you using? Note that the appearance settings are in transition from an old "in the code" level widget by widget coloring to a stylesheet based system, and there is still some duplication, which I'll try and weed out when I find time. Not right now though, while Edward wants some of the relevant code left alone for a Find function rewrite. Cheers -Terry > Now, I really don't understand what is the point of having the same setting > at multiple locations (and I am not talking about clones). It is very > frustrating to spend time setting some values only to discover that the > same values are overridden by some other settings stored down below, in the > same file. > > Could someone please simplify the mySettings.leo file, cutting off the > useless branches? > > A streamlined settings layout would have a key/value pair appear only once. > > > -- 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.
