この簡単な質問は申し訳ありません--- Coq 8.5のCoqIDEの既定のフォントは何ですか？ 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 wがインストールされていた私の知る限り何もインストールしないでください）CoqIDE 8.5の既定のフォント
問題は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の間の変更（モノスペースフォントへの移動）でした。 CoqIDE < = 8.5pl1はデフォルトを使用しているが、何らかの理由で
、CoqIDE> = 8.5pl3は、システムのデフォルトのモノスペースフォントを上書きします。
fc-match monospace
DejaVuSansMono.ttf：「そしてDejaVuなきモノ」「ブック」
第2のステップは、編集の下で（フォントを変更することである> Preferencesの最初のステップは、見つけるために、システムのデフォルトであります）からfc-match monospaceさんまであなたに与えられたものまで。
はおそらくワット/ FreeMono
これは面白いですが、私は再びそれを再現することができませんでした。それでも、バグレポートを自由に開くことができます。 –
おかげで、 '〜/ .configを/ coq'をバックアップおよびリストアすることは、この問題の回避策のようです。 PS。私はあなたの答えを編集することはできませんが、 "Monospace"付きの "monospace"を置き換えることをお勧めします – jaam
奇妙なことに、フォント名と属性は同じですが、外観は[完全に変更]（https://ibb.co/m1nGNa）から8.5 8.6 – jaam
@jaam私は自分のマシンでこの違いを見ることはできません。それはシステムに関連するかもしれません。 Nixが提供する2つのバージョンを比較しようとしましたか？ （ 'nix-shell -p coq_8_5 --run coqide'を使用して古いものを入手してください。）NixOSを使っていますが、あなたの8.5バージョンに近いフォントを見ています。 –