Ctrl + `（反引号）快捷键在 Ubuntu 20.04 中不起作用

Question

我使用 Ctrl + ` 来切换 Guake / Tilda，但是升级到 20.04 后，快捷方式不再起作用（按下这些键时什么也没有发生）。

我在系统设置中的键盘快捷键中搜索，没有找到使用相同组合键的冲突的快捷键。

这是一个错误还是存在一些隐藏的全局快捷方式？

编辑：

这很奇怪，但系统启动几分钟后 Ctrl + ` 又开始工作了......