The themes are so great! Thank you! On Saturday, July 10, 2021 at 9:06:25 PM UTC+7 tbp1...@gmail.com wrote:
> 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/3ac70897-4299-4ef3-b045-42afcf72846cn%40googlegroups.com.
