1

我遇到了一个奇怪的问题......最近我在使用 CoqIDE 时遇到了一些奇怪的情况,即:

  1. 如果不按住 windows/super 键,我无法输入字母“v”。

  2. 如果打开了多个窗口,按退格键会将焦点移至上一个选项卡,我无法使用它删除内容。CTRL+退格键虽然适用于删除块。

两者中的第一个(可能已经发生)发生在我将键盘映射从 US 更改为 GB 之后,但来回切换并没有解决问题。

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

感谢您的任何建议!

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

已解决的编辑:是的,你完全正确,我似乎在没有注意到的情况下做了一些超快速的重新绑定。我还了解到,包管理器基本上不会接触 .config 文件,因为它们是由应用程序生成的,因此不受管理器的管辖。解决了!

4

1 回答 1

3

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 现在是上一个选项卡的快捷方式。

于 2016-12-12T15:12:18.283 回答