如何使“前进”快捷方式在Mac Coqide上起作用？

Question

我无法在Macbook上使用“转发”快捷方式。

根据IDE，它应该是“ control + down”，但这没有任何作用。

有人在Mac上使用coqide遇到了这个问题吗？

谢谢。