[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, 25 May 2024 10:51:08 +0300 |
Ping! Any further comments about this, or changes to install?
> Cc: 69941@debbugs.gnu.org
> Date: Mon, 13 May 2024 10:19:43 -0400
> From: Stefan Monnier via "Bug reports for GNU Emacs,
> the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
>
> >> Or maybe `widget-*-add-item` should temporarily change the insertion
> >> type of the from/to markers?
> > What do you mean by "temporarily"?
>
> I think you underestimated the meaning of:
>
> I'm really not familiar with the widget code
>
> I put "really" before the "not", because I know very little about
> that code.
>
> > Maybe it could be left up to the deactivation code to ensure that the
> > radio-button-choice widget's :from and the :from of its first child
> > coincide when deactivation (and accompanying fontification) occurs, and
> > then reset the previous values afterwards.
>
> I suspect thinking in terms of "activation/deactivation" will not
> be helpful. We should look at the code which does the insertion of text
> (which presumably happens, among other things, upon deactivation).
>
> > Though that seems pretty ad hoc...
>
> If needed, we might be able to make it less ad-hoc by defining
> a function for the purpose of (re)inserting text inside an
> existing widget.
>
> > (and would resetting the :from affect the fontification?)
>
> It'd be up to that new function to make sure things work as they should.
>
>
> 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, 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 <=
- bug#69941: 30.0.50; Faulty fontification of radio button widgets, Stephen Berman, 2024/05/25