AltGr key and mintty

[Thomas Wolff]

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.
>