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 On Wednesday, October 1, 2014 6:18:14 AM UTC-7, Terry wrote: > > On Tue, 30 Sep 2014 22:27:28 -0700 (PDT) > Satheesh Vattekkat <[email protected] <javascript:>> 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 > > > Thanks in advance. > > > > I am on the git branch of leo - usually does a `git pull` every > > Monday morning. > > > > > -- 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/d/optout.
