On Wednesday, March 27, 2013 8:06:57 PM UTC-5, Terry wrote:
>
>
> The theme is far from perfect - it's relatively easy to get it looking 
> ok if you're already running a dark desktop theme, which is what I'm 
> doing, but much harder if you want Leo dark in a light desktop theme, 
> as you need to theme everything. 
>

There is one glitch that I see.  It appears that the border around the body 
pane has disappeared.  I think the border is always important, and the 
proper border color will likely change in the solarized version.  But 
perhaps this is an artifact of my settings--I really haven't investigated 
properly yet. 

>
>  - note that the new theme system includes a stylesheet authoring 
>    tool with macro substitutions :-) you no longer edit 
>    @data qt-gui-plugin-style-sheet directly but edit a more comfortable 
>    Leo tree version and then run-script on the appropriate node to 
>    "compile" to @data qt-gui-plugin-style-sheet 
>

Very cool.  Many thanks for all this work.

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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to