How do I setup dark theme?

59 views
Skip to first unread message

Satheesh Vattekkat

unread,
Oct 1, 2014, 1:27:28 AM10/1/14
to leo-e...@googlegroups.com
Been a long time leo user (basic leo user; I just use @url, @file and vim plugin - not developer though). Moving to solarized dark on term, vim etc is helping eyes a lot. Searched the group on how to setup Leo to something like that. I saw there are some settings that I can change for that.

Checking around to see if there is a ready made stylesheet and instructions on how to enable this.

Thanks in advance.

I am on the git branch of leo - usually does a `git pull` every Monday morning.


Terry Brown

unread,
Oct 1, 2014, 9:18:14 AM10/1/14
to leo-e...@googlegroups.com
On Tue, 30 Sep 2014 22:27:28 -0700 (PDT)
Satheesh Vattekkat <vsb...@gmail.com> wrote:

> Been a long time leo user (basic leo user; I just use @url, @file and
> vim plugin - not developer though). Moving to solarized dark on term,
> vim etc is helping eyes a lot. Searched the group on how to setup Leo

Yep - after a long day dark instead of light backgrounds are much less
strain for me.

> to something like that. I saw there are some settings that I can
> change for that.
>
> Checking around to see if there is a ready made stylesheet and
> instructions on how to enable this.

Depends somewhat on what else you've put in your personal settings
file, myLeoSettings.leo.

First thing I would try is use Settings -> Open Personal Settings to
open myLeoSettings.leo (that will create a minimalist one for you if
needed) and also open (your path to Leo)/leo/config/themes.leo. Copy
the node "leo_dark theme 0" from themes.leo to myLeoSettings.leo under
the '@settings' node in myLeoSettings.leo.

Trying it just now I then had to save myLeoSettings.leo and restart
Leo, maybe because myLeoSettings.leo didn't exist when I started,
you're supposed to be able to just use Settings -> Reload Styles rather
than restarting.

That worked for me just now, although dark themes are tricky to
integrate with the rest of the desktop I've found. In fact I just
switched from XFCE to Kubuntu for the latter's easier dark theming.

Cheers -Terry

Chris George

unread,
Oct 1, 2014, 10:27:42 AM10/1/14
to leo-e...@googlegroups.com
Hi Terry,

I just followed your instructions for loading leo_dark theme 0 and noticed something. 

I recently loaded a fresh myLeoSettings.leo and all I have configured so far are the font choices in the "Appearance (change these first)" node. The theme over rides these settings, which is fine, I guess, but I then went to find the font settings in the theme to change the sizes. I found it under "Settings for theme", right where they should be and changed them to match the settings I use; 12pt for body, 8pt for tree and log window. Then I hit reload-styles and all of the fonts went really teeny tiny.

That is when I noticed that the settings in the default leo settings are in pt and the theme is in px.

Should this not be settled on one or the other?

Chris

Terry Brown

unread,
Oct 1, 2014, 10:43:17 AM10/1/14
to leo-e...@googlegroups.com
On Wed, 1 Oct 2014 07:27:42 -0700 (PDT)
Chris George <techn...@gmail.com> wrote:

> Hi Terry,
>
> I just followed your instructions for loading leo_dark theme 0 and
> noticed something.
>
> I recently loaded a fresh myLeoSettings.leo and all I have configured
> so far are the font choices in the "Appearance (change these first)"
> node. The theme over rides these settings, which is fine, I guess,
> but I then went to find the font settings in the theme to change the
> sizes. I found it under "Settings for theme", right where they should
> be and changed them to match the settings I use; 12pt for body, 8pt
> for tree and log window. Then I hit reload-styles and all of the
> fonts went really teeny tiny.
>
> That is when I noticed that the settings in the default leo settings
> are in pt and the theme is in px.
>
> Should this not be settled on one or the other?

Yes, what I forgot to mention in the previous is that this is of course
all in a state of transition at the moment. I vaguely remember an old
thread about how neither pt not px give the consistent results you
might expect, both are dependent on other settings including but not
limited to monitor DPI. I think px seemed more consistent in a couple
of tests but Edward felt pt was the one that should work.

But more immediately it's possible font name / size controlling
settings are not set right for the dark theme at present after Edward's
recent settings work. You could try moving the dark theme node to the
start of the @settings tree and see if that helps (i.e. letting the
changes you had already made get the last word).

Cheers -Terry

Satheesh Vattekkat

unread,
Oct 1, 2014, 10:30:09 PM10/1/14
to leo-e...@googlegroups.com
Hi Terry,

Just did that. Worked very well! Thank you.

I use this on Linux Mint 17, XFCE edition and usually all my windows are all full screen - it fits just well.

I see that my font settings in myLeoSettings.leo got ignored with this;  no problem. I am a fan of small fonts and moving to larger, 11+pt size font along with age :) So this is just perfect.

Thanks again 
Reply all
Reply to author
Forward
0 new messages