On Wed, 1 Oct 2014 07:27:42 -0700 (PDT) Chris George <[email protected]> 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 > 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.
