Re: Changes rushed in by Netscape

[Neil]

I wrote:

> Since most apps see AltGr as Ctrl+Alt

this means that Mozilla will quietly ignore all AltGr keystrokes, see 
http://bugzilla.mozilla.org/show_bug.cgi?id=50255 thus temporarily 
rendering my patch useless :-(