CoqIDE 8.5默认字体

Question

对于这个琐碎的问题，很抱歉-Coq8.5中CoqIDE的默认字体是什么？尝试使用Coq8.6w/ nix-shell -p coq_8_6 --run coqide更改了我的旧CoqIDE字体(和键绑定)；我想要回它们，但忘记了字体名称。确切的版本(不确定这是否重要)是8.5pl1。遗憾的是，重启甚至nix-env --rollback都没有恢复设置(我的8.5是用nix安装的，nix-shell -p coq_8_6 --run coqide不应该安装任何AFAIK)

Answer 1

问题来自于CoqIDE设置在不同版本之间共享的事实，这有许多缺点。很可能，CoqIDE 8.6已经覆盖了这些设置，它的安装状态并不重要。

由于您要做的是恢复CoqIDE 8.5的默认设置，因此您可以删除~/.config/coq或~/.coq中的文件并重新启动CoqIDE 8.5 (除非您调整了其他参数，在这种情况下，最好将它们保存到其他地方)。它应该会重新创建它们。

如果你愿意，你也可以在https://coq.inria.fr/bugs/上解释你的问题。我认为这是值得解决的。

PS:但据我所知，默认字体在8.5到8.6之间没有变化……上一次提到的更改是在8.1到8.2之间(移动到等宽字体)。