Dark theme

[Ville M. Vainio]

Hey,

Somehow, I have forgetter 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?

[Edward K. Ream]

On Fri, Mar 20, 2020 at 1:26 PM Ville M. Vainio <viva...@gmail.com> wrote:

Hey,

Somehow, I have forgotten how to enable dark theme in Leo :).

Hi Ville, great to hear from you.

Googling brings up the FAQ: https://leoeditor.com/FAQ.html#how-can-i-use-a-dark-theme-in-leo

I'll review this. It may be out of date. Leo's Settings menu now has an "Open Theme File" item which lets you review possible themes.

Edward

[Matt Wilkie]

Hey,

Hi Ville! Nice to "see" you. I hope you and yours are doing well, being safe and healthy.

-matt

[Ville M. Vainio]

Thanks for the wishes, we are doing fine. Schools in .fi are closed so "home schooling" my sons, and working from home

--
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+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/76d19315-2094-4f5e-869d-e27f9c534867%40googlegroups.com.

[Matt Wilkie]

Thanks for the wishes, we are doing fine. Schools in .fi are closed so "home schooling" my sons, and working from home

Yep, same here. FWIW, I found this podcast on remote work from CBC Spark especially apropos https://www.stitcher.com/podcast/canadian-broadcasting-corporation/spark-from-cbc-radio/e/68184685?autoplay=false

-matt

[Edward K. Ream]

On Fri, Mar 20, 2020 at 1:26 PM Ville M. Vainio <viva...@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

[Ville M. Vainio]

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?

--

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+...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS1mMp3oXJMAS5TE6NSk4iH0JR%2Bh1_4OR0jSPoTPtUXOdA%40mail.gmail.com.

[Edward K. Ream]

On Thu, Mar 26, 2020 at 1:58 AM Ville M. Vainio <viva...@gmail.com> wrote:

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?

Good point. I have generalized the question and the answer:

http://leoeditor.com/FAQ.html#how-do-i-enable-a-theme-leo-file

Edward

[Ville M. Vainio]

Thanks, this is what I needed :)

--

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+...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS1LL-Z0JuLPW1VfMcmWcZVD-qiu9aUde18gYTAg6X2jjQ%40mail.gmail.com.

[Edward K. Ream]

On Thu, Mar 26, 2020 at 6:44 AM Ville M. Vainio <viva...@gmail.com> wrote:

Thanks, this is what I needed :)

You're welcome.

Edward