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.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
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.