fonts - 更改 GitKraken 中的差异字体

Question

我编写 APL 程序，并一直在考虑从 SourceTree 切换到 GitKraken。但是，我无法更改差异 View 字体。由于字体对于 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。