GNU bug report logs - #69941
30.0.50; Faulty fontification of radio button widgets

Previous Next

Full log

Message #115 received at 69941-done <at> debbugs.gnu.org (full text, mbox):

From: Stephen Berman <stephen.berman <at> gmx.net>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 69941-done <at> debbugs.gnu.org, Stefan Monnier <monnier <at> iro.umontreal.ca>,
 maurooaranda <at> gmail.com
Subject: Re: bug#69941: 30.0.50; Faulty fontification of radio button widgets
Date: Thu, 06 Feb 2025 15:15:29 +0100

On Wed, 05 Feb 2025 15:10:16 +0200 Eli Zaretskii <eliz <at> gnu.org> wrote:

>> From: Stefan Monnier <monnier <at> iro.umontreal.ca>
>> Cc: Mauro Aranda <maurooaranda <at> gmail.com>,  stephen.berman <at> gmx.net,
>>   69941 <at> debbugs.gnu.org
>> Date: Sun, 02 Feb 2025 18:28:39 -0500
>>
>> > Stefan, any further comments, or should we install this?
>>
>> We can install this, AFAIC.
>
> Thanks, installed on the master branch, and closing the bug.

I've only now found time to try Mauro's patch, and while I can confirm
that it fixes the example of misfontification I reported in my OP,
unfortunately I still see the same kind of misfontification with the
program of mine that prompted my OP.  I haven't had time to investigate
further and I'm not sure when I will, but if and when I can provide more
information, I'll either reopen this bug or file a new one.

Steve Berman

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.