* [bug] gitk doesn't start if font name contains spaces
@ 2020-10-22 19:50 Ingo Blechschmidt
0 siblings, 0 replies; only message in thread
From: Ingo Blechschmidt @ 2020-10-22 19:50 UTC (permalink / raw)
To: git
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-10-22 20:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-10-22 19:50 [bug] gitk doesn't start if font name contains spaces Ingo Blechschmidt
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).