It requires contextual knowledge like "what is a theme file". The question promises to answer the question about dark theme in particular, so could add that to the example?
On Tue, Mar 24, 2020 at 10:15 PM Edward K. Ream <edream...@gmail.com> wrote: > > > On Fri, Mar 20, 2020 at 1:26 PM Ville M. Vainio <vivai...@gmail.com> > wrote: > >> I have forgotten how to enable dark theme in Leo :). >> >> Googling brings up the FAQ: >> https://leoeditor.com/FAQ.html#how-can-i-use-a-dark-theme-in-leo >> >> ...but it's horribly technical. Time to improve the FAQ or the enabling >> process? >> > > I'm finally getting around to this. I don't think this is too nerdy: > QQQ > To enable a theme .leo file, put the following setting in > myLeoSettings.leo: > @string theme-name = <theme file, without the .leo extension> > QQQ > > True, the rest of the FAQ entry is tedious, but that's only for custom > themes. > > Edward > > -- > 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 leo-editor+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/leo-editor/CAMF8tS1mMp3oXJMAS5TE6NSk4iH0JR%2Bh1_4OR0jSPoTPtUXOdA%40mail.gmail.com > <https://groups.google.com/d/msgid/leo-editor/CAMF8tS1mMp3oXJMAS5TE6NSk4iH0JR%2Bh1_4OR0jSPoTPtUXOdA%40mail.gmail.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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAPuzRuM40p7MO42hJqFqd5%3DiOqVohU7CqXmc1bms__tA8jC4-A%40mail.gmail.com.
