ubuntu 20.04 上的 PHPStorm 无法正确识别快捷方式

Question

重装系统后，PHPStorm 看到一个快捷方式Ctrl+ /like Ctrl+ .。

我尝试并检查的内容：

• Ubuntu 20.04
• PHPStorm 版本 2021.2.3
• 我看到设置里有一个斜线
• 布局是英文的，在键盘视图中，这也是一个斜线
• 如果我只是按一个键，它就会变成斜线，问题只在于与Ctrl
• 正确识别其他按键
• 我尝试了不同的键盘
• 第二个快捷方式是通过Num Lock斜线