On 2009-05-07 at 15:07:07 [+0200], Axel Dörfler <axeld@xxxxxxxxxxxxxxxx> wrote: > Ingo Weinhold <ingo_weinhold@xxxxxx> wrote: > [...] > > > What changed is that we default to the US-International keyboard, > > > and > > > that indeed has different Alt keys (Alt and Alt-Gr). > > Really? If that's how it is supposed to be, it doesn't work. Both Alt > > keys > > work like Command keys. > > Then you're probably using the "American" keymap, not the "US- > International" one - or you have it customized already. No, I probably just forgot to press "Use" again. Damn senility... ;-) CU, Ingo