Am 07.06.2020 um 15:07 schrieb Enrico Forestieri:
On Sun, Jun 07, 2020 at 02:55:25PM +0200, Thomas Wolff wrote:
Am 07.06.2020 um 13:50 schrieb Enrico Forestieri:
According to
https://github.com/mintty/mintty/wiki/Keycodes#altgr
when the keyboard layout does not have a keycode for an AltGr
combination, the AltGr key is treated as Alt instead.
There were some recent tweaks to ensure consistent handling of AltGr and
right-Alt and I was not aware of that section in the wiki (it was there
before my time...).
However, I do not reproduce your particular issue:
I have the following entry in ~/.inputrc
"\e'": "`" # Alt+' -> `
and, as AltGr+' is not a valid combination in my keyboard layout,
until mintty 3.1.6 by pressing it I was obtaining the wanted backtick character.
However, since mintty 3.1.7, this key combination now produces nothing.
Works for me when switching to US keyboard layout. Which layout do you use?
I am using the IT keyboard layout.
The Italian keyboard layout does have an AltGr key:
AltGr+ò → @
AltGr+à → #
AltGr+è → [
AltGr++ → ]
AltGr+é → {
AltGr+* → }
AltGr+' → unmapped by keyboard layout
So the current behaviour is consistent with both the recent changes and
the Italian layout.
However, if people desire, I can add an option to restore the old
AltGr/Alt fallback.
Thomas
One has to explicitly use LeftALt+' to obtain the backtick.
That is the proper way now enforced if the right Alt key is in fact AltGr.
If it's not, right-Alt+' etc should work alike, as it does here.
All I can say is that it works again when reverting to mintty 3.1.6.
--
Problem reports: https://cygwin.com/problems.html
FAQ: https://cygwin.com/faq/
Documentation: https://cygwin.com/docs.html
Unsubscribe info: https://cygwin.com/ml/#unsubscribe-simple
