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/8db3f887-ec71-4d66-8758-bd81ff0c33a7n%40googlegroups.com.
