On Thu, Dec 11, 2014 at 12:56 PM, Edward K. Ream <[email protected]>
wrote:
> This is really nasty. I'm working on it, but it may be awhile...
Actually, nothing nasty was required, but a copy/paste error caused great
confusion. See the P.S. for details.
===== Executive summary
1. rev 5b0b7bc changes the stylesheet entries for the log pane. This is an
improvement, but I doubt it actually was needed.
2. Use the following settings to specify log colors for a dark theme:
@color log-fg = white
@color log-bg = black
@color log-text-foreground-color = white
The @color log-fg setting affects the text color of all QTextEdit widgets
*except* the log pane. For example, the panes created by print-settings,
etc.
As explained below, the @color log-text-foreground-color setting is
required for the log pane.
===== Long-winded explanation
The essence of the situation is that Leo *must* treat the log pane
differently. That's because g.es (and other functions) has a "color"
keyword argument. To make this work, LeoQtLog.put ends up writing log text
as html::
<font color="%s">%s</font>' % (color,s)
This is where @color log-text-foreground-color comes in. This setting
gives the color to be used when either a) no color is given to g.es, or b)
the color "black" is given to g.es.
Thus, the @color-fg setting does not affect the text color in the log pane.
Edward
P.S. I copied the name of the setting, log-text-foreground-color, from
gmail. Big mistake: it started with a control character, so it didn't have
any effect. Naturally, that caused massive confusion. In fact, there was
nothing "nasty" about what needed to be done.
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 http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
