Ville's dark theme is now in "devel"

[Edward K. Ream]

PR #4852 adds a new dark theme. 

This is likely going to be the last code change for Leo 6.8.10.

The few remaining PRs deal with distribution and testing.

Please keep testing Leo's "devel" branch. Thanks.

Edward

[Ville M. Vainio]

I think we can add a few things before freezing ;)

--
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 visit https://groups.google.com/d/msgid/leo-editor/7fb5d0b5-f41b-44f9-89e3-40b8a4946b75n%40googlegroups.com.

[Thomas Passin]

I want to make a small change to the code that draws the right margin guide. It's a combination bug fix and improvement. I have been waiting until the dust settles on all these type and return changes.

[jkn]

While this sort of thing is being mentioned, and also the (fixed) missing line numbers etc...

Does anyone else see the numbers in the line number gutter being misaligned (vertically) with the lines in the body?

For me, the '1' in the gutter (for line no. 1) is about half a character lower than line 1 text in the body. It's no biggie, and could well depend on font settings etc - but I thought I'd mention it...

    Cheers

    J^n

[Edward K. Ream]

On Fri, Aug 7, 2026 at 11:53 AM Ville M. Vainio <viva...@gmail.com> wrote:

I think we can add a few things before freezing ;)

Sure, but not many.

And there will be lots of distribution-related tweaks.

Edward

[Edward K. Ream]

On Fri, Aug 7, 2026 at 11:55 AM Thomas Passin <tbp1...@gmail.com> wrote:

I want to make a small change to the code that draws the right margin guide. It's a combination bug fix and improvement. I have been waiting until the dust settles on all these type and return changes.

Go for it. The dust has just settled.

Edward