[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69941: 30.0.50; Faulty fontification of radio button widgets
From: |
Stefan Monnier |
Subject: |
bug#69941: 30.0.50; Faulty fontification of radio button widgets |
Date: |
Sun, 12 May 2024 22:22:38 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> Could it be that part of the problem is that the insertion of
>> a radio-button widget into a radio-button-choice widget is done "too
>> late", i.e. after the radio-button-choice widget has been printed?
> To avoid this I suspect that the radio-button-choice widget would have
> to be redesigned, and also the checklist widget, which has a similar
> issue.
What does "this" refer to?"
Stefan
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Eli Zaretskii, 2024/05/09
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stefan Monnier, 2024/05/09
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stephen Berman, 2024/05/11
- bug#69941: 30.0.50; Faulty fontification of radio button widgets,
Stefan Monnier <=
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stephen Berman, 2024/05/13
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stefan Monnier, 2024/05/13
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stefan Monnier, 2024/05/13
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stephen Berman, 2024/05/13
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stefan Monnier, 2024/05/13
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Eli Zaretskii, 2024/05/25
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stephen Berman, 2024/05/25