|
From: | Riccardo Mottola |
Subject: | Re: characters problems in terminal |
Date: | Fri, 25 Nov 2011 10:20:31 +0100 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.24) Gecko/20111114 Icedove/3.1.16 |
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.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.<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?
Riccardo
metakey.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |