[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: |
Mon, 13 May 2024 09:28:54 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> I meant the "too late" insertion of radio buttons into
>> radio-button-choice widgets (and likewise of checkboxes into checklist
>> widgets), because IIUC the way this is currently done (by
>> widget-radio-add-item and widget-checklist-add-item, respectively)
>> requires that the container widget is already in the buffer.
>
> Then maybe widgets which expect to be filled after they're created
> should make sure they have an additional character at the beginning and
> another at the end so insertions "inside" don't get confused from
> insertions "right before" or "right after".
Or maybe `widget-*-add-item` should temporarily change the insertion
type of the from/to markers?
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, 2024/05/12
- 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 <=
- 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