DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 294143851C01
Subject: Re: AltGr key and mintty
To: cygwin@cygwin.com
References: <20200607115043.GA6281@GIOVE>
From: Thomas Wolff <towo@towo.net>
Message-ID: <895a1699-325d-72f2-9000-9213ed88532e@towo.net>
Date: Sun, 7 Jun 2020 14:55:25 +0200
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101
 Thunderbird/68.9.0
MIME-Version: 1.0
In-Reply-To: <20200607115043.GA6281@GIOVE>
Precedence: list
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="us-ascii"; Format="flowed"
Errors-To: cygwin-bounces@cygwin.com
Sender: "Cygwin" <cygwin-bounces@cygwin.com>

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