标签: emacs key-bindings agda-mode
我正在学习Agda,当我键入 C-c C-。时,我的Emacs中没有任何反应。我可以输入 Cc 。或 Cc M-。,然后会告诉我这些绑定不是定义。但是当我尝试键入 C-c C-时,迷你缓冲区仅显示C-c,看来Emacs正在等待下一个键绑定。那我该如何解决这个问题呢?
C-c
我正在使用MacOS。任何帮助将不胜感激。