Wow, thank you. I didn't think it was that simple. I had pictured having to copy individual settings from the theme file into my settings file :-)
Much appreciated. Kind regards, Rich.T. On Wed, Oct 12, 2022 at 2:58 PM Thomas Passin <[email protected]> wrote: > You have to add a setting to your *myLeoSettings.leo* file. In fact, > that's how you do just about all configuration of Leo. Add a new node as a > child of the @settings node at the top of the file. Give the node the > headline *@string theme-name = minimal-ui-tbp_dark_solarized *except use > the name of the theme you actually want to use (this example is the one I > usually use). You do not need to include the theme file extension (i.e., > *".leo"*). Save the *myLeoSettings.leo* file. The next time you start > Leo, it will use the theme you specified. > > You can open Leo with a different theme by adding *--theme=themename* to > the command line that you launch Leo with - using the actual name of the > theme you want to use. This will override the name in the settings file. > > A few other settings you might like to try - create a new node in the > @settings tree for each: > > To have the cursor line in the body highlighted: @bool > highlight-body-line = True > To show a vertical guideline at the right margin: @bool > show-rmargin-guide = True > To show line numbers in the gutter: @bool use_gutter = True > The line numbers may not be aligned with the lines. To adjust their > alignment. add a new settings node: @int gutter-y-adjust = 7 > Keep trying different numbers until the alignment of numbers with > lines is OK. > > To make the new settings take effect, either restart Leo or select the > *Settings*/*Reload Settings/Reload-settings* menu item. The new settings > will apply to all outlines opened afterwards. > > On Wednesday, October 12, 2022 at 5:55:56 AM UTC-4 [email protected] > wrote: > >> I'm sorry if this has been asked before. I'm not new to Leo. I've used >> it for a few years, but I've been making more use of it again recently and >> wondered how to change to a dark theme. >> I can open a dark theme from the menu, but that opens a new instance, and >> then my original instance becomes locked. I just want to open Leo and it >> default to my chosen theme. >> Many thanks. >> >> Kind regards, >> Rich.T. >> > -- > 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/hNqI45BJaJE/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/278e20b2-d81f-4748-a038-4b54085c29b9n%40googlegroups.com > <https://groups.google.com/d/msgid/leo-editor/278e20b2-d81f-4748-a038-4b54085c29b9n%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/CAHvXcVQm3ojsOELsxbUiKD0KhEHZq98_VD1QS7_SuMy%2BZwshGQ%40mail.gmail.com.
