Robin Green - 2003-05-03

Logged In: YES
user_id=2202

Ah, I see (in the changelog) that the shortcut was changed
to Ctrl+[space]. Fine. So the real "bug" here is a
documentation bug - the documentation wasn't changed to
reflect that fact.