From: Protesilaos Stavrou <info@protesilaos.com>
Date: Thu, 31 Mar 2022 22:57:57 +0300
Cc: 54598@debbugs.gnu.org, Lars Ingebrigtsen <larsi@gnus.org>
On 2022-03-31, 21:24 +0200, Pierre Téchoueyres
<pierre.techoueyres@free.fr> wrote:
>> Pierre, your suggestion to filter the custom-enabled-themes
>> is better
>> than what we have. Do you want to send it to me as a patch?
> What dou you think of the attached one ?
Installed it in my repo. Thank you! I was planning to prepare
a
release in the coming days and sync it with emacs.git. Might
do it
tomorrow. Is it okay for you if you wait a bit before this
patch makes
it to 'master'?
> Apart from that, do you know why the vertical line doesn't
> look the
> same on Windows ?
Sorry, I don't know. I do not have access to a Windows
machine.