Re: AltGr finger twisters documented?

[Jason Rumney]

Juanma Barranquero <address@hidden> writes:

> On 7/5/05, Jason Rumney <address@hidden> wrote:
>
>> Sure it's a bug, but a bug of the OS. Setting w32-recognize-altgr to nil
>> appears to avoid this bug for people who don't need AltGr at all.
>
> I know you're somewhat tongue-in-cheek, but I agree with you. There's
> nothing to change here (IMO), but it would be good to document the
> issue, don't you agree?

w32-recognize-altgr could do with better documentation. Its affect on
AltGr was not apparent to me from reading the doc string. There is
already an entry in etc/PROBLEMS relating to the use of left Ctrl and
right Alt together. That could perhaps be expanded to include an
explanation of how AltGr is affected.