GNU bug report logs -
#69941
30.0.50; Faulty fontification of radio button widgets
Previous Next
Reported by: Stephen Berman <stephen.berman <at> gmx.net>
Date: Fri, 22 Mar 2024 15:01:01 UTC
Severity: normal
Found in version 30.0.50
Done: Eli Zaretskii <eliz <at> gnu.org>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
On Thu, 18 Apr 2024 14:33:57 +0300 Eli Zaretskii <eliz <at> gnu.org> wrote:
>> Date: Thu, 18 Apr 2024 07:18:29 -0300
>> Cc: Eli Zaretskii <eliz <at> gnu.org>, 69941 <at> debbugs.gnu.org,
>> Stefan Monnier <monnier <at> iro.umontreal.ca>
>> From: Mauro Aranda <maurooaranda <at> gmail.com>
>>
>> > To fix this bug, do you have a preference between this patch for
>> > widget-specify-inactive and the attached patch for
>> > widget-default-create? Or do you have a better fix?
>> >
>> > Steve Berman
>>
>> I don't really have a better fix. I mean, ideally, we'd find the reason
>> why the setting behaves differently for the radio-button-choice widget,
>> and only for the first one in a radio widget, as it seems to me. But
>> I'll need more time to be able to look into that.
>>
>> That said, if Eli is OK with installing a minor hack (with a FIXME,
>> please), I don't have problems. And since it's a hack (and hopefully
>> temporary), it's better if we keep it at widget-default-create then.
>
> My opinion doesn't matter much in this case. If you two agree on a
> solution, feel free to install it, even if it is not 110% clean.
I've been using the patch for for widget-specify-inactive in an
application I'm developing that exercises radio-button-choice widgets,
but I'll switch to using the patch for widget-default-create instead.
I've been encountering inconsistent behavior in combination with the use
of widget-unselected face that I haven't tracked down the cause of yet.
I don't expect using the patch for widget-default-create will improve
this issue, but I'll find out. I also plan to test that patch in
combination with widget-unselected face with checklist widgets, which my
application currently does not use. I'll report back here before
committing the patch for widget-default-create (or something else,
depending on the outcome of further testing).
Steve Berman
This bug report was last modified 82 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.