Coqide 按键绑定错误(?)
Coqide Key Bindings Bug(?)
我遇到了一些奇怪的问题...最近我在使用 CoqIDE 时遇到了一些奇怪的情况,即:
如果不按住 windows/super 键,我无法输入字母 "v"。
如果打开了多个 windows,按退格键会将焦点移动到上一个选项卡,我无法用它删除内容。不过,CTRL+backspace 可用于删除块。
第一个(可能)发生在我将键盘映射从 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 中很容易重新定义,您可以在不注意的情况下进行:只需打开一个菜单(例如:查看),将鼠标悬停在某个选项(例如: Previous tab),在键盘上输入一些东西(例如 v),voilà v 现在是 Previous tab 的快捷方式。
我遇到了一些奇怪的问题...最近我在使用 CoqIDE 时遇到了一些奇怪的情况,即:
如果不按住 windows/super 键,我无法输入字母 "v"。
如果打开了多个 windows,按退格键会将焦点移动到上一个选项卡,我无法用它删除内容。不过,CTRL+backspace 可用于删除块。
第一个(可能)发生在我将键盘映射从 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 中很容易重新定义,您可以在不注意的情况下进行:只需打开一个菜单(例如:查看),将鼠标悬停在某个选项(例如: Previous tab),在键盘上输入一些东西(例如 v),voilà v 现在是 Previous tab 的快捷方式。