Coqide键绑定Bug(?)

Question

我有个奇怪的问题..。最近，我在使用CoqIDE时遇到了一些奇怪的情况，即：

1. 如果不按住窗户/超级键，我就无法键入字母"v“。
2. 如果打开了多个窗口，按下backspace会将焦点移到前面的选项卡上，我不能用它删除内容。不过，CTRL+backspace用于删除块。

这两个中的第一个(可能)发生在我将密钥映射从US更改为GB之后，但来回切换并没有解决问题。

运行ARCH linux，一切都是最新的，没有其他应用程序受到影响，我没有粘键。

谢谢你的建议！

编辑:尝试重新安装，没有帮助.

解决编辑:是的，你是完全正确的，我似乎做了一些超快的重新绑定，而没有注意到。我还了解到，包管理器本质上永远不会接触.config文件，因为它们是由应用程序生成的，因此不属于经理的管辖范围。解决了！

Answer 1

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)，而voilàv现在是上一个选项卡的快捷方式。