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

From: Philip Kaludercic <[email-masked]>
Date: Thu, 13 Oct 2022 20:21:53 +0000

Lars Ingebrigtsen <[email-masked]> writes:

> Philip Kaludercic <[email-masked]> writes:
>
>> OK, it looks like this worked.  Just to recap, these are the proposed
>> changes:
>
> Looks good to me (but I haven't actually tried the code).

I will be testing it for a day or two, and then push it.