On Sun, 2006-06-25 at 15:01 -0500, Ron Johnson wrote: > Thanks. What's <Alt *Gr*>? Oh. That's the right alt-key on German keyboards. -- Lothar