Sir! Excellent, thank you very much. That seems like a much more straightforward way of making the change. Stuff being overwritten isn't an issue as I have a bash script that moves the entire leo folder first and then basically tries to reinstall it. It tends to be the pip stuff and dependencies that always cause me the issues, but I solved that fairly quickly this time.
Thank you for your help. Kind regards, Richard Twyning On Fri, Jun 14, 2024 at 6:25 PM Thomas Passin <[email protected]> wrote: > The way to do this is to modify the theme outline you are using. You > should save it with a different name in the .leo/themes directory, and then > you can specify that theme in your myLeoSettings.leo file. Otherwise (if > you don't save to your .leo/themes directory) the next time you update Leo, > your changes might get lost. > > You can edit a theme file most easily from the Settings/Open a Theme File > menu item. Search for a node named something like *Fonts & text sizes*. > If you don't find that, look for string settings like *@string > font-size-body = 12pt.* Change that to what you want. There is a similar > one for the tree font, too. Save the theme file, change myLeoSettings, and > restart Leo. > > I suggest trying out one of the themes that start with *tbp_,* or include > *tbp* in their name. They are ones I developed and the reason I suggest > them is that they use a different font family for the tree and other > elements except the body. The tree font, which I label with "ui", is not a > monospaced font. It's been chosen to have good readability at smaller > sizes, and because it's not monospaced you can get more characters into a > short headline. When I check out other fonts any more, I can hardly stand > looking at them because the tree and menus seem so bulky. > > The one I use the most is *tbp_dark*. It's a dark theme, and if you > would rather have a light theme you could try *tbp_light*. As you will > notice there are some *tbp_* solarized themes as well. If none of them > suit you, you could use them as a starting point for working up your own > theme. But be warned! It can take a lot of time, mostly to get > non-main-text colors to work reasonably well with the text foreground and > background. > > The reason some of my theme file have slightly strange names like > *minimal-ui-tbp_dark_solarized.leo* is because I changed the Qt > stylesheet used by many of the themes to use fewer class specifiers (hence > "minimal"). > > I've attached a screen shot so you can see what my *tbp_dark* theme looks > like. Note how the font for the tree (and the menu labels) is different > from the font for the body, and how much easier it is to scan the tree's > headlines. > > On Friday, June 14, 2024 at 12:39:01 PM UTC-4 [email protected] > wrote: > >> I've used Leo for quite a few years now, but I don't upgrade very often. >> I don't upgrade very often because each time I do I run into issues and >> it can be quite stressful getting it working again. >> Today I got Leo up and running again quite quickly and I'm now running >> 6.7.9-devel. >> >> However, I seem to have lost my font sizes and there never seems to be a >> straightforward way of configuring them. It's so long since I last >> upgraded I can't remember what I did and it's just not intuitive :-( >> >> In the leoSettings.leo file there are a few items with font sizes: >> font-size, medium-font-size, small-font-size. >> >> I've set them all to 7pt with no effect! >> It's not particularly an issue for the body window as I can just use Ctrl >> and the mouse wheel to scroll the size, although I'd like it to be smaller >> by default. >> >> The real issue is the outline tree. It's limited for space and there >> seems like no easy way to change this font size. >> >> Thank you in advance. >> > -- > You received this message because you are subscribed to a topic in the > Google Groups "leo-editor" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/leo-editor/KM-Gp9M30yI/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/leo-editor/c64433c6-2c0f-49d6-8d71-32cdee568f57n%40googlegroups.com > <https://groups.google.com/d/msgid/leo-editor/c64433c6-2c0f-49d6-8d71-32cdee568f57n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAHvXcVTiZx-xYEpi7OAVHgTB-isjCwGt_EWV97WEG0NBSTKqsA%40mail.gmail.com.
