我遇到了一个奇怪的问题......最近我在使用 CoqIDE 时遇到了一些奇怪的情况，即：
如果不按住 windows/super 键，我无法输入字母“v”。
如果打开了多个窗口，按退格键会将焦点移至上一个选项卡，我无法使用它删除内容。CTRL+退格键虽然适用于删除块。
两者中的第一个（可能已经发生）发生在我将键盘映射从 US 更改为 GB 之后，但来回切换并没有解决问题。
运行 ARCH linux，一切都是最新的，没有其他应用程序受到影响，我没有粘滞键。
感谢您的任何建议！
编辑：尝试重新安装，没有帮助...
已解决的编辑：是的，你完全正确，我似乎在没有注意到的情况下做了一些超快速的重新绑定。我还了解到，包管理器基本上不会接触 .config 文件，因为它们是由应用程序生成的，因此不受管理器的管辖。解决了！
CoqIDE 键绑定和其他首选项存储在.coq/或中.config/coq。如果您同时安装了不同版本的 Coq，它们不会在卸载时被删除并且会被共享（这可能是个问题）。
如果您不担心丢失您配置的任何特定首选项，我建议您删除此目录并让 CoqIDE 重新创建它。
如果您担心，那么只需查看文件（很长但也很可读）。例如：
cat .config/coq/coqide.keys | grep "tab"
在我的机器上产生以下结果：
; (gtk_accel_path "<Actions>/View/Previous tab" "<Alt>Left")
; (gtk_accel_path "<Actions>/View/Next tab" "<Alt>Right")
PS：您的问题可能已经出现，因为在 CoqIDE 中重新定义键绑定非常容易，以至于您可以在不注意的情况下进行操作：只需打开一个菜单（例如：查看），悬停某个选项（例如：上一个选项卡），在键盘（例如 v）和瞧 v 现在是上一个选项卡的快捷方式。