On 10/9/2013 4:19 PM, Fidel N wrote:
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?
Sorry about that...
It has to be the last node under @settings, or so I gather.
-->Jake
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
<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
<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.
--
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.
