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默認字體

回答

相關問題