我根据以下内容更改了键绑定：
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 并进行如下更改：
|之前 | 修饰符_for_navigation = "" | |之后 | 修饰符_for_navigation = "" |
(4) 编辑文件 coqide.keys 并在文件底部插入以下行：
(gtk_accel_path "/Navigation/Go to" "F5") (gtk_accel_path "/Navigation/Backward" "F6") (gtk_accel_path "/Navigation/Forward" "F7") (gtk_accel_path "/Navigation/End" "F8") ( gtk_accel_path "/Navigation/Start" "F9") (gtk_accel_path "/Navigation/Interrupt" "F12") (gtk_accel_path "/Navigation/Previous" "") (gtk_accel_path "/Navigation/Next" "") (5) 打开 CoqIDE并测试新绑定是否有效。它们应该出现在导航菜单中。