On Saturday, March 10, 2018 at 5:45:19 AM UTC-6, Edward K. Ream wrote:
> I'll experiment with support for @data additional-style-sheet.
> The body would be a style sheet that...would be tacked on to whatever
stylesheet is *already* in effect.
Hmm. Qt stylesheets do not cascade properly, and may
Excellent progress yesterday. Significant work remains.
*Yesterday's work*
1. These two @button nodes now work properly, seemingly in all respects
(but see below).
@button open-light-theme
c.styleSheetManager.load_theme_file('EKRLight.leo')
@button open-dark-theme
c.styleSheetManager.load_the
On Friday, March 9, 2018 at 5:33:48 AM UTC-6, Edward K. Ream wrote:
*Changing settings*
>
> This is unexpectedly tricky. After computing the local settings, we want
> to use *all and only* those settings when computing the stylesheets. How
> to do this?
>
Oh joy. It appears that we can just
Yesterday I prototyped the Themes menu. With the latest code from the
devel branch you can see the results with these two @button nodes:
@button open-light-theme
c.styleSheetManager.load_theme_file('EKRLight.leo')
@button open-dark-theme
c.styleSheetManager.load_theme_file('LeoBlackSolarized.le
