>
>Yes "Strg" = "Ctrl". I finally got used to calling the "Ctrl" key "Strg", so my customers here in Germany can understand me <vbg>. In the old times it was "Ctrl" here, too.
>
>Hmm ... I wonder why this isn't working in my installation.

>Have you tested in a more recent build so it might have been fixed already?

Yes, I tested it in more recent build.