我根据以下内容更改了键绑定：
https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
但是现在我无法使它们恢复正常。我如何将它们设置为默认状态？
请注意，Coq已经更改了文件，我不知道如何撤消所做的更改。
以防万一网页死了，这是我遵循的说明：
配置备用绑定集 （0）您需要至少执行一次CoqIDE才能使配置文件存在。
（1）对这些文件进行任何更改之前，必须关闭所有正在运行的CoqIDE实例。
（2）您需要找出配置文件coqiderc和coqide.keys的位置：
在Linux上，在〜/ .config / coq /中 在Windows上，位于％HOME％.config \ coq或C：\ Program Files \ Coq \ config中 在Mac OS X上，在〜/ Library / Application \ Support / coq /中 （3）编辑文件coqiderc并进行以下更改：
|之前| Modify_for_navigation =“” | |之后| Modify_for_navigation =“” |
（4）编辑文件coqide.keys并将以下行插入文件底部：
（gtk_accel_path“ /导航/转到”“ F5”） （gtk_accel_path“ /导航/后退”“ F6”） （gtk_accel_path“ / Navigation / Forward”“ F7”） （gtk_accel_path“ / Navigation / End”“ F8”） （gtk_accel_path“ /导航/开始”“ F9”） （gtk_accel_path“ / Navigation / Interrupt”“ F12”） （gtk_accel_path“ / Navigation / Previous”“”） （gtk_accel_path“ / Navigation / Next”“”） （5）打开CoqIDE并测试新绑定是否有效。它们应该出现在“导航”菜单中。
答案 0 :(得分：1)
目前尚不清楚您要做什么，但是如果您想重置为默认快捷方式，我想只需删除两个文件（.toString()和coqide.keys），CoqIDE就会使用默认值。