Hi,
I could track this down to this obscure code in TerminalParser_Linux.m
plenty of explaination, still it wont help to understand what is going
on.
<code cut>
What my change in back did was to set the AltGr key as the second
Alternate key for GNUstep. Something that should be valid when done by
a user in the defaults setting. It now turns out that this did break
some obscure feature in Terminal. I call this feature obscure as it
isn't even documented in the setting panel that not selecting
command-as-meta will result in right alt (or in my case AltGr) being
used as meta. I would expect that Esc is used as meta, but this may be
mapped to double Esc, which is why another meta key seems to be needed.
Before I revert my change I really would like to know which other key
I should map to Alternate on a German keyboard. What are other people
out there using?
What do you think of the attached patch? I added a new option. Do you
think it is correct? Since I generally do not use meta, could you please
test it when using meta and alt? For me, it re-enables the usage of
AltGr correctly.