Am 16.06.24 um 14:37 schrieb Serhii Tereshchenko:
> On Sun, Jun 16 2024 at 12:30:51 +02:00:00, Johannes Sixt <j6t@xxxxxxxx>
> wrote:
>> Am 15.06.24 um 10:53 schrieb Serhii Tereshchenko:
>>> font create font_ui
>>> if {[lsearch -exact [font names] TkDefaultFont] != -1} {
>>> eval [linsert [font actual TkDefaultFont] 0 font configure
>>> font_ui]
>>
>> My setup does not have a 4k monitor, I run KDE and I do not know if I
>> have changed a DPI setting. For the test, I have removed the [gui]
>> sections from my configurations to ensure that the defaults are used.
>>
>> Under these conditions, this change does not make a difference in how
>> Git GUI appears. I assume this is the expected outcome, so I take it as
>> a good sign.
>>
>
> You can test it, by changing DPI in `~/.Xresources`
>
> `xrdb -query` to see your current DPI, then increase it a little.
>
> ```
> Xft.dpi: 154
> ```
>
> `xrdb -merge ~/.Xresources` to apply new scaling.
Thank you for this recipe. What is the expected result on the font size
with small and with large DPI values, with and without this patch?
- When I set Xft.dpi 100, I get tiny fonts.
- When I set it to 200, I get huge fonts.
And that is the case with and without this patch. I expected that the
font size is independent from the DPI with the patch. (I run ./git-gui
after `make`, but without installing.)
I also see the change in font size after modifying Xft.dpi in gitk, BTW.
At a minimum, the patch does not make things worse.
-- Hannes
