leoSettings.leo now contains a new top-level node:
@ignore Themes: copy to last top-level setting in myLeoSettings.leo
The body text tells what to do with it, namely:
To enable a theme:
1. *Copy* this entire tree to myLeoSettings.leo.
2. Move the tree so it is the *last* top-level node under @settings.
3. Remove the @ignore from the copy of this node.
4. Enable one of the three themes below by removing @ignore for its node.
5. Test by opening another Leo outline.
*Important Notes*
1. The "Themes" node does *not *define @data qt-gui-plugin-style-sheet.
Instead the new themes machinery uses the so-called "fully parameterized"
stylesheet that we have all been using for at least several months now.
This stylesheet is defined as a descendant of the "Appearance" node.
2. The only functional theme is a new ekr_dark theme. It illustrates how
to use the new themes machinery.
- This theme uses a small, custom @data qt-gui-user-style-sheet that adjust
colors around outline indicators.
- There is a tree call "Common to all themes" which contains settings that
probably can be shared by most themes. Naturally, setting in that tree can
be overridden as you desire.
3. The new themes machinery is supposed to be completely self contained.
That is, there should be no need to use a script to generate a theme.
Yes, the user must fill in all appearance-related settings. But most users
will already have done this, so adjusting the settings for a theme should
be straightforward.
Not sure how clear all this is. All questions and comments welcome, but
please do look at leoSettings.leo first.
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.
