Re: characters problems in terminal

[Riccardo Mottola]

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.

Riccardo

metakey.patch
Description: Text Data