Thanks! Leo feels like a new program now :).
On Thu, Mar 28, 2013 at 3:06 AM, Terry Brown <[email protected]>wrote: > I just pushed the solarized dark theme to trunk. There were some > changes to core code, but nothing too major, and I've been using it for > some time. > > In leoSettings.leo there's a new top-level node called 'Themes', which > contains a single theme node at the moment, you can copy that to you > myLeoSettings.leo file under @settings. Read the README node of the > theme node for more instructions. > > 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. > > - see the README - if you're already running a dark theme there's a > `base` node which can be switched to `@ignore base` to take more > advantage of your desktop theme. > > - 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 > > 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.
