The themes have already been merged into today's *devel* branch. On Saturday, July 10, 2021 at 9:14:33 AM UTC-4 tbp1...@gmail.com wrote:
> Thanks, @gar! I asked a while ago if changing the theme on the fly could > be done. It can already almost be done. When I open a theme file - as an > outline, I mean - Leo's colors mostly change to match the theme. But not > in the log pane. That seems to get a mix of old and new colors. That's > often unpleasant and sometime unreadable. I wonder if the log pane's > styling doesn't set all the colors but leaves some of them at previous > values. > > Let me know if you would like the theme files sooner than the PR gets > approved, and I'll post them here. It might be some time for the PR, since > @ekr is busy getting the beta of v6.4 ready for release. > > On Saturday, July 10, 2021 at 2:41:48 AM UTC-4 gar wrote: > >> tbp1, >> your themes are great. For my own need I changed the ekr's ones - but in >> a some ugly manner like change the colors for more bright for fonts and so >> one. Original ones seemed too poor for me. My changes made them slightly >> ugly. >> Yours are quite balanced and look pretty. >> >> By the way, can Leo change the theme on the fly? AFAIR it never could, so >> changing a theme always was a challenge. >> >> -- 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/ed8ef7c6-6b04-457d-b56b-8a535b22f539n%40googlegroups.com.