threads / discuss / 42936

Very Very small fonts in gitk

Subject: Very Very small fonts in gitk

## tl;dr

3 messages between Jul 27, 2016 and Jul 27, 2016.

replies: 2people: 2as markdown or json

jessie hernandez· Jul 27, 2016, 08:05 UTC · lore
Dear git,

I have been dealing with an issue in gitk for a while now. I do not know if this is a specific gitk issue or something else. I cannot find any information about it online.

When I start gitk in my repository gitk comes up but all the font and all the menus are Extremly small. (see attached image).

My OS is Red Hat 6.6 git version is 2.0.3 (i tried the 2.9.2 version also and this too gives the same small font) I am running in bash also tried in KSH

Could you give an insight if this is a known gitk issue or that this is a bug?

Regards, Jessie Hernandez

Trần Ngọc Quân· Jul 27, 2016, 08:21 UTC · re: jessie hernandez · lore

Re: Very Very small fonts in gitk

On 27/07/2016 15:05, jessie hernandez wrote:
Show 18 quoted lines
> Dear git,
>
> I have been dealing with an issue in gitk for a while now. I do not
> know if this is a specific gitk issue or something else. I cannot find
> any information about it online.
>
> When I start gitk in my repository gitk comes up but all the font and
> all the menus are Extremly small. (see attached image).
>
> My OS is Red Hat 6.6
> git version is 2.0.3 (i tried the 2.9.2 version also and this too
> gives the same small font)
> I am running in bash also tried in KSH
>
> Could you give an insight if this is a known gitk issue or that this is a bug?
>
> Regards,
> Jessie Hernandez
Try to edit gitk configure file `~/.gitk` manually, like this:

set mainfont {{DejaVu Sans} 12} set textfont {FreeMono 10} set uifont {{DejaVu Sans} 12 bold}

I hope it work! Thanks,

-- 
Trần Ngọc Quân.
jessie hernandez· Jul 27, 2016, 09:27 UTC · re: Trần Ngọc Quân · lore

Re: Very Very small fonts in gitk

I have tried all of that. A colleague looked at it and he reset xrdb with xrdb -remove -all apparently this works and my issues has been fixed.

Regards,
On Wed, Jul 27, 2016 at 10:21 AM, Trần Ngọc Quân <vnwildman@gmail.com> wrote:
Show 31 quoted lines
> On 27/07/2016 15:05, jessie hernandez wrote:
>> Dear git,
>>
>> I have been dealing with an issue in gitk for a while now. I do not
>> know if this is a specific gitk issue or something else. I cannot find
>> any information about it online.
>>
>> When I start gitk in my repository gitk comes up but all the font and
>> all the menus are Extremly small. (see attached image).
>>
>> My OS is Red Hat 6.6
>> git version is 2.0.3 (i tried the 2.9.2 version also and this too
>> gives the same small font)
>> I am running in bash also tried in KSH
>>
>> Could you give an insight if this is a known gitk issue or that this is a bug?
>>
>> Regards,
>> Jessie Hernandez
> Try to edit gitk configure file `~/.gitk` manually, like this:
>
> set mainfont {{DejaVu Sans} 12}
> set textfont {FreeMono 10}
> set uifont {{DejaVu Sans} 12 bold}
>
> I hope it work!
> Thanks,
>
> --
> Trần Ngọc Quân.
>

← back to recent threads