Subject: Re: bug#57639: [PATCH] Add new command 'toggle-theme'

From: Lars Ingebrigtsen <[email-masked]>
Date: Wed, 14 Sep 2022 15:03:28 +0200

Philip Kaludercic <[email-masked]> writes:

>> Here is an updated version:
>
> Any comments on the updated patch?  Is it OK to push it in the current
> state or is something missing?

Well, the current state is with "variants" like

+(put 'tango 'theme-variants 'tango-dark) ;see `toggle-theme'

while I wanted to see tagging themes with features instead?