coq - 你如何告诉 CoqIde 我想使用苹果键盘“命令”来导航证明？

Question

我想让我的修改器导航栏有“苹果命令”键盘按钮，但我不知道如何告诉我的 coqiderc 它是什么。

我试过：

modifier_for_navigation = "<Command>"

但它没有用。如何在 Mac 中执行此操作？

---

参考引用：https ://github.com/coq/coq/wiki/Configuration-of-CoqIDE

标签： coq

Answer 1

没有足够的代表发表评论，但这可能会也可能不会回答您的问题。

您是否尝试过使用<Primary>而不是<Command>？看起来这就是这里使用的。

(gtk_accel_path "<Actions>/Navigation/Forward" "<Primary><Control>Down")