: ) You are welcome! On Monday, July 12, 2021 at 12:59:27 AM UTC-4 [email protected] wrote:
> The themes are so great! Thank you! > > On Saturday, July 10, 2021 at 9:06:25 PM UTC+7 [email protected] wrote: > >> The themes have already been merged into today's *devel* branch. >> >> On Saturday, July 10, 2021 at 9:14:33 AM UTC-4 [email protected] 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/81915280-6d41-4c71-923b-0513c757b449n%40googlegroups.com.
