[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69941: 30.0.50; Faulty fontification of radio button widgets
From: |
Eli Zaretskii |
Subject: |
bug#69941: 30.0.50; Faulty fontification of radio button widgets |
Date: |
Sat, 08 Jun 2024 16:32:06 +0300 |
> From: Stephen Berman <stephen.berman@gmx.net>
> Cc: monnier@iro.umontreal.ca, 69941@debbugs.gnu.org
> Date: Sat, 08 Jun 2024 14:12:42 +0200
>
> On Sat, 08 Jun 2024 14:50:57 +0300 Eli Zaretskii <eliz@gnu.org> wrote:
>
> >> From: Stephen Berman <stephen.berman@gmx.net>
> >> Cc: Stefan Monnier <monnier@iro.umontreal.ca>, 69941@debbugs.gnu.org
> >> Date: Sat, 25 May 2024 11:30:23 +0200
> >>
> >> On Sat, 25 May 2024 10:51:08 +0300 Eli Zaretskii <eliz@gnu.org> wrote:
> >>
> >> > Ping! Any further comments about this, or changes to install?
> >>
> >> I haven't been able to pursue Stefan's suggestions yet. For the use
> >> case for which I made the patch, I find the results overall better than
> >> without it. Nevertheless, text inserted in front of the first radio
> >> button unintentionally getting fontified with widget-inactive face is a
> >> clear bug, so I think the patch should not be installed; I hope I (or
> >> someone else) can improve it.
> >
> > Stefan, any other comments? Should I close the bug?
>
> While my patch prevents the misfontification I reported in my OP, it
> adds another source of misfontification and is therefore not suitable
> for installing. So the original bug remains and I think this bug report
> should not yet be closed.
OK, but what shall we do instead? Is anyone working on this?