Can you describe how you set this theme? I copied over
.../leo/config/leoSettings.leo#@settings-->Appearance-->Colorizer & colors-->Syntax colors & options-->@ignore Solarized colorizing settings to myLeoSettings.leo under @settings, removed @ignore and restarted, to no effect. On Thu, Mar 14, 2013 at 4:22 PM, Terry Brown <[email protected]>wrote: > Been looking at computer screens even more than usual lately and > realizing a dark theme can be less eye tiring than the brighter ones. > > So I've been working on getting Leo to use solarized dark really, > beyond the proof of concept @color settings in leoSettings.py > > http://greygreen.org/tmp/dark.png > > Still some things to fix, tab/menu/button text is too bright, and log > doesn't seem to be using the log related @color settings all the time. > Also need to track down whatever's controlling the color of the > minibuffer, which has been a long standing config. oddity. > > Probably the biggest change is in icon handling, @string color_theme > now controls how icon images are found in the Icon folder, allowing for > theme specific icons - there are some other tweaks too. > > The window manager theme I'm using doesn't seem to have got the spinbox > buttons right, something else to tweak. > > 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?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- 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.
