Rev 1311548 adds *@theme windows ekr dark* to leoSettings.leo.
The new theme is exactly the same as "leo_dark theme 0", except as noted in
the @theme node itself:
Same as @theme leo_dark theme 0, except for the following:
@string font-size-body = 14pt
@string font-size-log = 14pt
@string font-size-tree = 18pt
All border settings.
All stylesheet entries in zz overrides.
In other words, it's easy to know exactly where the two themes differ.
This is a great new pattern. I'll use it when creating the "Linux ekr
dark" theme.
It would be best if all themes were based on "leo_dark theme 0", but
figuring out were the actual diffs are would not be easy. So that's not
going to happen before Leo 5.5 final.
Edward
P.S. The new theme does not use @data qt-gui-user-style-sheet. In fact, my
copy of this contains:
/*
@language css
*/
QTextEdit#richTextEdit {
background-color: @solarized-base2;
}
EKR
--
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 https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
