If you decide to show the right margin guide, you can set its default location with yet another setting:
@int rguide-col = 80 Its location can be changed for any node or subtree using the *pagewidth* directive: @pagewidth 65 On Saturday, June 15, 2024 at 5:42:38 AM UTC-4 Thomas Passin wrote: > Since you haven't installed a new version of Leo for quite some time, I > wonder if you know that Leo can highlight the current line in the body > editor, and also show a right margin guideline. As usual for Leo, you can > put these options into effect with settings: > > @bool show-rmargin-guide = True > @bool highlight-body-line = True > > > On Saturday, June 15, 2024 at 3:36:54 AM UTC-4 [email protected] > wrote: > >> 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/5389bec7-dedb-4169-a382-4e47c2260b4bn%40googlegroups.com.
