Re: AltGr key and mintty

[Enrico Forestieri <forenr@lyx.org>]

On Sun, Jun 07, 2020 at 04:42:03PM +0200, Thomas Wolff wrote:
> 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.

I am currently using the following mappings through ~/.inputrc
Alt+' → `
Alt+ì → ~
that mimic the same mapping as on linux (Shift+ì produces ^ by default).

> However, if people desire, I can add an option to restore the old AltGr/Alt
> fallback.

Yes, please, if that's possible. After years of using those key
combinations I always find myself especially using AltGr+ì for
obtainig ~ and discover that it failed only after pressing the
enter key...

-- 
Enrico