[bug] gitk doesn't start if font name contains spaces

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Dear git developer community,

the following bug in gitk has surfaced in the NixOS bugtracker
(https://github.com/NixOS/nixpkgs/issues/86003):

gitk fails to start if the X resource "font" contains spaces. The
command

    $ echo "*font: xft:Bitstream Vera Sans Mono" | xrdb -merge
    $ gitk

reproduces this bug. The gitk window does not open, instead the
following error message is printed on the console:

    Error in startup script: expected integer but got "Vera"
	(database entry for "-font" in widget ".___tk_set_palette.button")
	invoked from within
    "$q .___tk_set_palette.$q"
	(procedure "tk_setPalette" line 82)
	invoked from within
    "tk_setPalette background $c selectColor $selc"
	(procedure "setui" line 8)
	invoked from within
    "setui $uicolor"
	(file "./gitk" line 12498)

I'm not subscribed to the mailing list but am happy to help on this issue.
Thank you for your continued work in maintaining gitk, very much appreciated!

Cheers,
Ingo



[Index of Archives]     [Linux Kernel Development]     [Gcc Help]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [V4L]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Fedora Users]

  Powered by Linux