Изменить шрифт diff в GitKraken

Я программирую APL и подумываю о переходе с SourceTree на GitKraken. Однако мне не удалось изменить шрифт просмотра различий. Поскольку шрифт очень важен для APL, это сдерживает меня.

Есть ли способ изменить шрифт (и размер) в GitKraken?

Приветствуются как официальные, так и хакерские ответы.

SourceTree с использованием шрифта Unicode APL385, размер 16:
Скриншот SourceTree

GitKraken, используя шрифт по умолчанию:
Скриншот 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

fonts gitkraken settings diff apl
person Adám    schedule 26.10.2016    source источник
comment
Я борюсь с той же проблемой, надеюсь, кто-нибудь в конце концов даст решение. Я бы также склонялся к GitKracken, а не к SourceTree, если бы не эта проблема, но теперь я склоняюсь к SourceTree.   -  person cdahms    schedule 12.02.2017
comment
@cdahms Версия 2.0 имеет гораздо лучший шрифт, но выбора все равно нет. Я продолжаю жаловаться на это каждый раз, когда они просят обратной связи. Делайте то же самое, и, может быть, в конце концов они нас услышат!   -  person Adám    schedule 12.02.2017
comment
У меня проблема с последней версией в Arch Linux, в открытом файловом менеджере все шрифты неправильные.   -  person SalahAdDin    schedule 26.05.2017
comment
@cdahms См. мой ответ, что это было решено.   -  person Adám    schedule 03.12.2018

Ответы (2)


arrow_upward
6
arrow_downward

Этот совет не совсем о шрифте, но в правом нижнем углу есть значок масштабирования, который позволяет увеличить масштаб, который я изначально не заметил. ХТН.

person Andrei Pokrovsky    schedule 08.03.2017

arrow_upward
6
arrow_downward

В то время как Axosoft обычно уделяет большое внимание усовершенствованиям GitKraken, это существенное усовершенствование осталось незамеченным. GitKraken 4.1.1 позволяет свободно выбирать шрифт и размер, а также очень хорошо их отображает:

GitKraken 4.1.1 разница

Даже не так просто найти варианты. Перейдите в «Настройки» > «Настройки редактора»:

«Настройки

person Adám    schedule 03.12.2018
comment
странно, когда я впервые посмотрел на это, пользовательский интерфейс показал 0 РЕДАКТИРОВАТЬ: а, он начинается с 0 - person Chazt3n; 28.01.2019
comment
Нужно отметить, что после настройки шрифта редактора у вас могут возникнуть проблемы с позицией курсора в редакторе вывода слияния в приложении. По сути, настраиваемая ширина шрифта может испортить положение курсора, из-за чего вы не сможете узнать, куда будет вставлен текст. - person welemon; 08.02.2019