Как вы скажете CoqIde, что я хочу использовать клавиатуру Apple «Command» для навигации по доказательству?

Question

Я хочу, чтобы на панели навигации моего модификатора была кнопка клавиатуры «Apple Command», но я не знаю, как сказать моему coqiderc, что это такое.

Я пытался:

modifier_for_navigation = "<Command>"

, но это не сработало.Как мне это сделать на Mac?

---

ссылка цитируется: https://github.com/coq/coq/wiki/Configuration-of-CoqIDE

Answer 1

Как сказал пользователь, используйте <Primary>.Вот инструкции, которые я написал для себя:

В Mac OS X в ~/Library/Application\ Support/coq/ находится файл, но выполните команду:

vim ~/Library/Application\ Support/coq/coqiderc

(3) Отредактируйте файл coqiderc и внесите следующее изменение:

| before |modifier_for_navigation = "<Control>" || после |modifier_for_navigation = "<Shift><Primary>" |

---

Примечание:

<Primary> - это забавная кнопка с яблоком.

---

https://github.com/coq/coq/wiki/Configuration-of-CoqIDE Как вы скажете CoqIde, что я хочу использовать клавиатуру Apple «Command» для навигации по доказательству?

Answer 2

Недостаточно повторений для комментария, но это может или не может ответить на ваш вопрос.

Вы пытались использовать <Primary> вместо <Command>?Похоже, это то, что используется здесь .

(gtk_accel_path " / Navigation / Forward" " Down")