与其他Agda爱好者一样，随着新版本Agda的发布，我很快就集成了最新和最强大的产品。但是，在编译和设置agda-mode（新版本）之后，我的emacs给了我一些奇怪的设置。
当我尝试自定义agda时，我不再拥有include dirs菜单，我已使用program args菜单并添加--include-dir=<stuff>来避开此问题。然而，配色方案很麻烦。在一个有文化的agda文件中，\begin{code}和\end{code}以外的所有内容都是鲑鱼红色，我希望它在旧版本中是黑色的。
我已经玩过高亮设置，但是无法改变这一点。任何建议都会非常感激！
感谢 - 你！
修改：删除include-dirs是没有错误的，emacs部分下的change log会提及此内容。