Adá*_*dám 8 settings diff fonts apl gitkraken
我编程APL,并一直在考虑从SourceTree切换到GitKraken.但是,我无法更改差异视图字体.由于字体对于APL非常重要,这是我的举动.
有没有办法在GitKraken中更改字体(和大小)?
这两个官方的hacky答案都是受欢迎的.
SourceTree,使用APL385 Unicode字体,大小为16:

为了比较,这里是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
Run Code Online (Sandbox Code Playgroud)
虽然 Axosoft 通常会对 GitKraken 的增强做出重大贡献,但这一重要的功能却没有引起人们的注意。GitKraken 4.1.1 允许您自由选择字体和大小,并且也非常漂亮地呈现它们:
找到选项也不是那么容易。转到首选项> 编辑器首选项: