bug#54598: 27.2; Bad interraction between modus-theme and hs-minor-mode

[Pierre Téchoueyres]

Hello Protesilaos,
Le jeudi 31 mars 2022 à 16:08, Protesilaos Stavrou 
<info@protesilaos.com> a écrit :
> ...
> 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 ?

> All the best,
Same here :-)
> Prot

Apart from that, do you know why the vertical line doesn't look 
the
same on Windows ?

0001-Filter-modus-themes-on-modus-themes-current-theme.patch
Description: Filter modus themes on modus-themes--current-theme