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

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