Я изменил привязку клавиш в соответствии с:
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 и внесите следующие изменения:
| до | modifier_for_navigation = "" | | после | modifier_for_navigation = "" |
(4) Отредактируйте файл coqide.keys и вставьте следующие строки внизу файла:
(gtk_accel_path "/ Navigation / Перейти к" "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 и проверьте, работают ли новые привязки. Они должны появиться в меню навигации.