AltGr key and mintty

[Thomas Wolff]

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.