A structural problem: theme font-size overrides myLeoSettings.leo, which I assume applies for all settings. I expect myLeoSettings to always have the last say.
Oh that's interesting, the `show-settings` command does not report base font settings, e.g. @font-size, @medium-font-size, etc. Neither does the report indicate which settings are set by a theme file. -matt -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e4ea9ae6-459b-4454-801e-3c5676a31dbb%40googlegroups.com.
