Emacs agda 2.5.1的agda模式有些奇怪之处
因此，像其他Agda爱好者一样，随着新版Agda的发布，我很快就安装了最新最伟大的。然而，在编译和设置agda模式（新模式）之后，我的emacs给了我一些奇怪的设置 当我试图定制agda时，我不再有Emacs agda 2.5.1的agda模式有些奇怪之处,emacs,agda,agda-mode,Emacs,Agda,Agda Mode,因此，像其他Agda爱好者一样，随着新版Agda的发布，我很快就安装了最新最伟大的。然而，在编译和设置agda模式（新模式）之后，我的emacs给了我一些奇怪的设置 当我试图定制agda时，我不再有包含目录菜单，我通过使用程序args菜单并添加--包含目录=来绕过这一点。然而，配色方案很麻烦。在一个可读的agda文件中，除了\begin{code}和\end{code}之外的所有内容都被涂成了鲑鱼红色，我希望它像旧版本一样是黑色的 我已经尝试过高光设置，但就是无法改变。任何建议都将不胜感激 谢谢
包含目录程序args--包含目录=\begin{code}\end{code}