对不起这个微不足道的问题--- Coq 8.5的CoqIDE默认字体是什么？尝试使用Coq 8.6 w / nix改变了我的旧CoqIDE字体（和键绑定）;我希望他们回来但不记得字体名称。确切的版本（不确定是否重要）是8.5pl1。遗憾的是，重新启动甚至nix-shell -p coq_8_6 --run coqide都没有恢复设置（我的8.5已安装w / println而且public static IForm<Model> FullForm()
{
return new FormBuilder<Model>();
.Field(new FieldReflector<Model>(nameof(articleId))
.SetType(null)
.SetActive((state) => true)
.SetDefine(createFullChoice)
)
.Confirm("", state => false)
.Build();
}
public static async Task<bool> createFullChoice(Model state, Field<Model> field)
{
field.RemoveValues();
var articles = state.service.getArticles();
var counter = 1;
foreach (var article in articles)
{
article.name = HttpUtility.UrlEncode(article.name);
var description = new DescribeAttribute($"{name}", "http:" + article.imageUrl, counter.ToString(), article.name, article.packing);
field
.AddDescription(article.id, description)
.AddTerms(article.id, article.name, article.id);
counter++;
}
return await Task.FromResult(true);
}
不应安装任何AFAIK）
答案 0 :(得分：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之间（转换为Monospace字体）。
答案 1 :(得分：1)
无论出于何种原因，CoqIDE＆gt; = 8.5pl3会覆盖系统的默认Monospace字体 1 ，而CoqIDE＆lt; = 8.5pl1则使用默认值。第一步是找到系统的默认值：
fc-match monospace
DejaVuSansMono.ttf：“DejaVu Sans Mono”“Book”
第二步是将字体（在编辑＆gt;偏好设置下）更改为fc-match monospace给你的任何内容。
1 可能是FreeMono