[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and
From: |
Lars Ingebrigtsen |
Subject: |
bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/"," |
Date: |
Thu, 23 Jun 2022 09:51:01 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Po Lu via "Bug reports for GNU Emacs, the Swiss army knife of text
editors" <bug-gnu-emacs@gnu.org> writes:
>> Is this bug a wontfix, then?
>
> Not exactly, but it's a duplicate of bug#55660 and bug#53200, and
> countless others.
And as both Eli and I have said, we think those changes you've made to
pgtk here should be reverted so that these keys work as before. Even
though it's "wrong". Maintaining a user-facing program like Emacs is
70% dealing with bugs and misfeatures in other systems we're interfacing
with.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Thomas Schneider, 2022/06/20
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Po Lu, 2022/06/20
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Stefan Kangas, 2022/06/22
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Po Lu, 2022/06/22
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",",
Lars Ingebrigtsen <=
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Po Lu, 2022/06/23
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Eli Zaretskii, 2022/06/23
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Po Lu, 2022/06/23
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Eli Zaretskii, 2022/06/23
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Po Lu, 2022/06/23
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Eli Zaretskii, 2022/06/23
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Po Lu, 2022/06/23
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Eli Zaretskii, 2022/06/23
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Kévin Le Gouguec, 2022/06/24
- bug#56117: 29.0.50; pgtk does not distinguish between <kp-separator> and "."/",", Kévin Le Gouguec, 2022/06/24