Re: AltGr key and mintty

[Enrico Forestieri <forenr@lyx.org>]

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.

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

-- 
Enrico