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

From: Philip Kaludercic <[email-masked]>
Date: Wed, 14 Sep 2022 11:38:11 +0000

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?