Then the menu should reflect this new shortcut. Currently it is still indicating Ctrl+Space.
If this is not a bug, at least this is misinformation and the menu should be fixed.
For now I'll reopen the bug. Should I file a new one instead?
Then the menu should reflect this new shortcut. Currently it is still indicating Ctrl+Space.
If this is not a bug, at least this is misinformation and the menu should be fixed.
For now I'll reopen the bug. Should I file a new one instead?