On Wed, 1 Oct 2014 07:27:42 -0700 (PDT)
Chris George <
techn...@gmail.com> wrote:
> Hi Terry,
>
> I just followed your instructions for loading leo_dark theme 0 and
> noticed something.
>
> I recently loaded a fresh myLeoSettings.leo and all I have configured
> so far are the font choices in the "Appearance (change these first)"
> node. The theme over rides these settings, which is fine, I guess,
> but I then went to find the font settings in the theme to change the
> sizes. I found it under "Settings for theme", right where they should
> be and changed them to match the settings I use; 12pt for body, 8pt
> for tree and log window. Then I hit reload-styles and all of the
> fonts went really teeny tiny.
>
> That is when I noticed that the settings in the default leo settings
> are in pt and the theme is in px.
>
> Should this not be settled on one or the other?
Yes, what I forgot to mention in the previous is that this is of course
all in a state of transition at the moment. I vaguely remember an old
thread about how neither pt not px give the consistent results you
might expect, both are dependent on other settings including but not
limited to monitor DPI. I think px seemed more consistent in a couple
of tests but Edward felt pt was the one that should work.
But more immediately it's possible font name / size controlling
settings are not set right for the dark theme at present after Edward's
recent settings work. You could try moving the dark theme node to the
start of the @settings tree and see if that helps (i.e. letting the
changes you had already made get the last word).
Cheers -Terry