[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#64046: 30.0.50; Quoting in customize choice tags
From: |
Eli Zaretskii |
Subject: |
bug#64046: 30.0.50; Quoting in customize choice tags |
Date: |
Sat, 24 Jun 2023 09:37:34 +0300 |
> From: Stephen Berman <stephen.berman@gmx.net>
> Cc: 64046@debbugs.gnu.org, Eli Zaretskii <eliz@gnu.org>, Stefan Monnier
> <monnier@iro.umontreal.ca>
> Date: Sat, 24 Jun 2023 00:18:48 +0200
>
> On Thu, 22 Jun 2023 19:59:26 -0300 Mauro Aranda <maurooaranda@gmail.com>
> wrote:
>
> > Stephen Berman <stephen.berman@gmx.net> writes:
> >
> >>> Thanks for the feedback. You're right, that patch is too superficial;
> >>> it also fails to do substitution in popup extended menus like the one
> >>> produced by clicking the "State" button, with the result that in the
> >>> item "Revert This Session's Customization" the apostrophe is not
> >>> displayed in the "curve" style. So I revised the patch, attached below,
> >>> to iterate over the elements of each item in ITEMS, and it now appears
> >>> to handle substitution with the "State" button display correctly, both
> >>> as popup menu and as text menu buffer. The latter is the result of
> >>> applying widget--simplify-menu, if I debugged correctly, so I think this
> >>> answers your concerns (though the text menu buffer already shows the
> >>> substitution independently of my patch, due to commit bd3b426ebb). Or
> >>> have I misunderstood your concerns about widget--simplify-menu? If so,
> >>> can you give an example where the new patch fails?
> >>
> >> Just pinging in case this fell under the radar. If there's no response,
> >> what's the next step forward?
> >>
> >> Steve Berman
> >
> > It did, thanks for the ping.
> >
> > Since there's no problem with widget--simplify-menu, the patch looks
> > good to me.
>
> Thanks. So Eli, should this go into master, since it's not a
> regression, or is it ok to install this to the release branch? It does
> seem pretty safe, since it's only applying substitute-command-keys in a
> few more places in widget-choose.
Pleased install on master. The problem is very minor and we have
lived with it for many years, so it can wait a bit more.
Thanks.
- bug#64046: 30.0.50; Quoting in customize choice tags, Stephen Berman, 2023/06/13
- bug#64046: 30.0.50; Quoting in customize choice tags, Eli Zaretskii, 2023/06/13
- bug#64046: 30.0.50; Quoting in customize choice tags, Mauro Aranda, 2023/06/14
- bug#64046: 30.0.50; Quoting in customize choice tags, Mauro Aranda, 2023/06/14
- bug#64046: 30.0.50; Quoting in customize choice tags, Stephen Berman, 2023/06/15
- bug#64046: 30.0.50; Quoting in customize choice tags, Stephen Berman, 2023/06/22
- bug#64046: 30.0.50; Quoting in customize choice tags, Mauro Aranda, 2023/06/22
- bug#64046: 30.0.50; Quoting in customize choice tags, Stephen Berman, 2023/06/23
- bug#64046: 30.0.50; Quoting in customize choice tags,
Eli Zaretskii <=
- bug#64046: 30.0.50; Quoting in customize choice tags, Stephen Berman, 2023/06/24