I have the following in myLeoSettings.leo @color log_text_foreground_color = #93a1a1 @color log_text_background_color = #073642 @color log_error_color = #dc322f @color log_warning_color = #268bd2
The background color, presumably handled by my theme stylesheet, is working, but for the other colors, presumably handled by the g.es machinery, I'm just getting pure red / blue / black, which is ugly on that background. I tried changing the above to @solarized-red etc., they are solarized colors, but it didn't help, and anyway, #RRGGBB should still be supported. Am I using the wrong setting names now? Thanks, -- 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.
