Как получить оригинальную привязку клавиш для Coq?
Я изменил привязку клавиш в соответствии с:
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 и проверьте, работают ли новые привязки. Они должны появиться в меню навигации.
1 ответ
Не совсем понятно, что вы хотите сделать, но если вы хотите сбросить ярлыки по умолчанию, я думаю, просто удалив два файла (coqide.keys а также coqiderc) заставит CoqIDE воссоздать их со значениями по умолчанию.