On Thu, Sep 18, 2014 at 9:33 PM, 'Terry Brown' via leo-editor
<[email protected]> wrote:
> On Wed, 17 Sep 2014 14:10:41 -0500
> "Edward K. Ream" <[email protected]> wrote:
>
>> > In myLeoSettings.leo, somewhere under @settings, showing only
>> > organizer nodes for the @values nodes, not the @value nodes
>> > themselves:
>> >
>> > @theme default
>> > @bool theme_is_dark = False
>> > theme settings
> [snip]
>> This seems like a natural organization.
>>
>> However, many settings are duplicated. At present, Leo can't honor
>> such duplicate settings. I'll talk about possible solutions below.
>
> I'm not sure how much the problem needs solving.
Neither am I. One solution that may not require any modifications to
existing config code at all would be to put @theme trees outside the
@settings tree.
> Does the .config() machinery allow you to work out where each value was
> defined? I seem to remember that it does.
Yes it does. The easy way to remember this is that the print-settings
command shows settings locations. Here is the code::
for name,val,c,letter in g.app.config.config_iter(c):
kind = ' ' if letter==' ' else '[%s]' % (letter)
result.append('%s %s = %s\n' % (kind,name,val))
I think it was Kent who requested config_iter.
> Hmm, I hadn't thought of concatenating all stylesheets, other than the
> user stylesheet. It might be a problem if theme A and B stylesheets
> are conctenated in that order, but B assumes it's modifying Qt's
> default behavior, not Qt's default behavior + the effects of A.
>
> I suspect it might be useful to see how they work in the wild before we
> try anything too clever.
Right. Let's stick with the simplest thing that could possibly work.
Am I correct in assuming that themes still work? If so, then perhaps
nothing at all needs to be done.
Edward
--
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.
