Ingo Weinhold <ingo_weinhold@xxxxxx> wrote: > > Exactly. So one would either need to change the key depending on > > the > > current command key, or just use the option key instead. > Given that Option might not always be available, I'd vote for the > former. Just keep in mind that this is a pretty much superfluous shortcut, anyway, and it wouldn't really hurt if that one is missing :-) Bye, Axel.