在GitKraken中更改差异字体

Question

我为APL编程并且一直在考虑从SourceTree切换到GitKraken。但是，我无法更改差异视图字体。由于字体对于APL来说非常重要，这是我的举动。

有没有办法在GitKraken中更改字体（和大小）？

两位官员都欢迎这些黑客的答案。

SourceTree，使用APL385 Unicode字体，大小为16：

GitKraken，使用默认字体：

为了比较，这里是Stack Overflow的渲染：

c←⊃chunk
(c1 c2)←{⍵{(1,1↓<\⍵)⊂⍺}'::'⍷⍵}c
c2←#.Strings.deb 2↓c2
c2←c2{0∊⍴⍺:⍵ ⋄ 0∊⍴⍵:⊂⍺ ⋄ (⊂⍺),⍵}1↓chunk
c2←¯2↓∊c2,¨⊂⎕UCS 13 10
r⍪←c1 c2

Answer 1

这个提示并不完全与字体有关，但右下角有一个缩放图标，可以放大我最初没有注意到的内容。 HTH。

Answer 2

尽管Axosoft通常对GitKraken的增强做出很多贡献，但这一重要的功能却未被人注意到。 GitKraken 4.1.1允许您自由选择字体和大小，并且也可以很好地呈现它们：

找到选项并不是那么容易。转到“首选项”>“编辑器首选项”：