1

抱歉这个琐碎的问题 --- CoqIDE 在 Coq 8.5 中的默认字体是什么？试用 Coq 8.6nix-shell -p coq_8_6 --run coqide并更改了我的旧 CoqIDE 字体（和键绑定）；我想要他们回来，但不记得字体名称。确切的版本（不确定这是否重要）是 8.5pl1。可悲的是，重新启动甚至nix-env --rollback没有恢复设置（我的 8.5 安装了 w/nix并且nix-shell -p coq_8_6 --run coqide不应该安装任何 AFAIK）

4

2 回答 2

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 之间（移动到等宽字体）。

于 2017-05-31T12:19:28.603 回答
1

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

fc-match monospace

DejaVuSansMono.ttf：“DejaVu Sans Mono”“书”

第二步是将字体（在 Edit > Preferences 下）更改为fc-match monospace给您的任何字体。

1可能带有 FreeMono

于 2017-06-05T20:12:18.093 回答