问如何获得Coq的原始密钥绑定？

EN

我根据以下内容更改了键绑定：

https://github.com/coq/coq/wiki/Configuration-of-CoqIDE

但现在我不能让他们恢复正常。如何将它们默认为默认状态？

注意，Coq已经更改了文件，我不知道如何撤消我所做的更改。

为了防止网页消失，这里是我遵循的说明：

配置替代绑定集(0)，需要至少执行一次CoqIDE才能使配置文件存在。

(1)在对这些文件进行任何更改之前，必须关闭所有正在运行的CoqIDE实例。

(2)您需要查找配置文件coqiderc和coqide.keys的位置：

在Linux上，在%HOME%.config\coq或Mac上的C:\Program \coq\config中，在~/.config/coq/ On中，在~/Library/Application\ Support/coq/ (3)中编辑文件coqiderc并进行以下更改：

\x{e76f}\x{e76f}\x{e76f}

(4)编辑文件coqide.keys并在文件底部插入以下行：

(gtk_accel_path“/导航/转到"F5") (gtk_accel_path /导航/向后”"F6") (gtk_accel_path /导航/前进"F7") (gtk_accel_path“/导航/结束"F8") (gtk_accel_path”/导航/开始"F9") (gtk_accel_path )/导航/中断“F12”(gtk_accel_path )/导航/导航/以前的“F8”(5)打开gtk_accel_path并测试新绑定是否有效。它们应该出现在“导航”菜单中。