In a branch, I'm working on a major change to the way themes are
implemented.  This will impact people that have customized the dark
theme - sorry about that, but the changes are important and it's not
hard to convert your modifications.

Rest of this is detail not relevant to most.

Currently:

To define @<identifiers> like @body-foreground-color for use in the
style-sheet, you put something like
/*
  @body-foreground-color = purple
  @my_red = #ff2233
  @body-background-color = @my_red
*/

in the stylesheet, i.e. special syntax in a "/* */" comment.

This is concise and convenient, but is separate from the normal
`@string body-background-color = @my_red` nodes you'd find elsewhere in
@settings.

The intent was to make regular settings work in style-sheet definitions
as well, but that hadn't been done.

The problem was that while style-sheets could potentially use regular
@string type settings, the rest of Leo couldn't see the @<identifiers>
defined in the style-sheet.  Hence the need to repeat certain settings
in both places.

Coming soon:

In-style-sheet-comment @<identifier> definitions will go away.  Regular
Leo settings will be used exclusively, visible to both the style-sheet
machinery and the rest of Leo.  So @<identifier> definitions from a
body text /* */ comment like:

  ...
  @solarized-base0 = #268bd2
  @solarized-cyan = #2aa198
  @solarized-green = #859900
  
  @text-foreground = @solarized-base0
  @text-foreground-bright = @solarized-base2
  @text-background = @solarized-base03
  ...

will be replaced with nodes like

  Definitions
    @string solarized-base0 = #268bd2
    @string solarized-cyan = #2aa198
    @string solarized-green = #859900
  Colors
    @string text-foreground = @solarized-base0
    @string text-foreground-bright = pink
    @string text-background = #44fe66

and, later, the Colors node will be one of the targets for the 
config. menu tree that jumps users to the critical part of the
settings, so that they only have to deal with:

    @string text-foreground = @solarized-base0
    @string text-foreground-bright = pink
    @string text-background = #44fe66

and avoid the considerable challenge of working out where to look.

Cheers -Terry

-- 
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/groups/opt_out.

Reply via email to