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