我遇到了一个奇怪的问题......最近我在使用 CoqIDE 时遇到了一些奇怪的情况,即:
如果不按住 windows/super 键,我无法输入字母“v”。
如果打开了多个窗口,按退格键会将焦点移至上一个选项卡,我无法使用它删除内容。CTRL+退格键虽然适用于删除块。
两者中的第一个(可能已经发生)发生在我将键盘映射从 US 更改为 GB 之后,但来回切换并没有解决问题。
运行 ARCH linux,一切都是最新的,没有其他应用程序受到影响,我没有粘滞键。
感谢您的任何建议!
编辑:尝试重新安装,没有帮助...
已解决的编辑:是的,你完全正确,我似乎在没有注意到的情况下做了一些超快速的重新绑定。我还了解到,包管理器基本上不会接触 .config 文件,因为它们是由应用程序生成的,因此不受管理器的管辖。解决了!