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

From: Lars Ingebrigtsen <[email-masked]>
Date: Sun, 11 Sep 2022 13:22:40 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> I'm not sure what you mean -- the proposal is to make the themes say
> whether they consider themselves to be light or dark.  And I don't think
> a theme would have multiple dark variants.

But now I see that you've pushed `toggle-theme'...  *sigh*