Hey Jacob: Just pasted that as a new node into myleosettings.leo file, restart, and found no changes. Do I have to paste it under any specific node?
On Wednesday, October 9, 2013 10:03:42 PM UTC+2, Jacob Peck wrote: > > Here's a new theme for Leo's body editor. This assumes you're using the > default theme that comes with Leo, and not the dark themes by Terry and > Ville. > > https://gist.github.com/gatesphere/43e8d118cb2adf655947 > > Copy the raw text above and paste into myLeoSettings.leo, and restart. > > The colors were taken from this Eclipse theme: > http://eclipsecolorthemes.org/?view=theme&id=3341 > > I tweaked a few things to make them fit better with the overall look of > Leo, however. > > I find it more readable and easier on the eyes than the default theme, > but not as jarring as using a dark theme within Windows XP (grr, light > UI elements abound...) > > -->Jake > -- 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/groups/opt_out.
