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

From: Lars Ingebrigtsen <[email-masked]>
Date: Thu, 13 Oct 2022 21:12:00 +0200

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).