CoqIDE 8.5默认字体

对不起，这个小问题--- CoqIDE在Coq 8.5中的默认字体是什么？尝试Coq 8.6 w/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不应安装任何东西据我所知）CoqIDE 8.5默认字体

来源

2017-05-29 jaam

的问题来自于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之间（移到等宽字体）。

来源

2017-05-31 12:19:28

谢谢，备份和恢复'〜/的.config/coq'似乎是此问题的方法。 PS。我不能编辑你的答案，但建议你用“等宽”代替“等宽” – jaam

奇怪的是，字体名称和属性是相同的，但外观已经[完全改变了]（https://ibb.co/m1nGNa）从8.5到8.6 – jaam

@jaam我无法在自己的机器上看到这种差异。它可能与系统有关。你有没有尝试比较Nix提供的两个版本？（使用'nix-shell -p coq_8_5 - 运行coqide'来获得较旧的版本。）请注意，我使用的是NixOS，但是我看到的字体更接近您的8.5版本。 –

无论出于何种原因，CoqIDE> = 8.5pl3将覆盖系统的默认等宽字体，而CoqIDE < = 8.5pl1使用默认值。第一步是要找到系统的默认：

fc-match monospace

DejaVuSansMono.ttf：“幻觉记忆国界单”“周易”

第二步是改变字体（在编辑>首选项）不管fc-match monospace给你什么。

可能的W/FreeMono

来源

2017-06-05 20:12:18 jaam

这很有趣，但我再次无法重现它。不过，随时打开一个错误报告。 –

CoqIDE 8.5默认字体

回答

相关问题