在 GitKraken 中更改差异字体

Change diff font in GitKraken

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

有没有办法在 GitKraken 中更改字体(和大小)?

欢迎官方和hacky回答。

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

这个提示不完全是关于字体的,但右下角有一个缩放图标,可以放大我最初没有注意到的地方。 HTH.

虽然 Axosoft 通常对 GitKraken 的增强功能做了大量的工作,但这一重要的功能却没有引起注意。 GitKraken 4.1.1 允许你自由选择字体和大小,并且渲染得非常好:

找到选项甚至都不是那么容易。转到首选项 > 编辑器首选项: