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?
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.
This is inconvenient because one needs to use both hands,
while AltGr+' can be easily triggered with a single hand.
--
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
