{"thread":{"id":"54486","subject":"[bug] gitk doesn't start if font name contains spaces","startedAt":"2020-10-22T20:00:27Z","lastAt":"2020-10-22T20:00:27Z","messageCount":1,"participants":["Ingo Blechschmidt"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"408188","messageId":"20201022195033.GA29199@quasicoherent","threadId":"54486","inReplyTo":null,"subject":"[bug] gitk doesn't start if font name contains spaces","fromName":"Ingo Blechschmidt","fromEmail":"iblech@speicherleck.de","sentAt":"2020-10-22T19:50:33Z","receivedAt":"2020-10-22T20:00:27Z","isPatch":false,"sender":{"key":"iblech@speicherleck.de","avatar":null},"body":"Dear git developer community,\n\nthe following bug in gitk has surfaced in the NixOS bugtracker\n(https://github.com/NixOS/nixpkgs/issues/86003):\n\ngitk fails to start if the X resource \"font\" contains spaces. The\ncommand\n\n    $ echo \"*font: xft:Bitstream Vera Sans Mono\" | xrdb -merge\n    $ gitk\n\nreproduces this bug. The gitk window does not open, instead the\nfollowing error message is printed on the console:\n\n    Error in startup script: expected integer but got \"Vera\"\n\t(database entry for \"-font\" in widget \".___tk_set_palette.button\")\n\tinvoked from within\n    \"$q .___tk_set_palette.$q\"\n\t(procedure \"tk_setPalette\" line 82)\n\tinvoked from within\n    \"tk_setPalette background $c selectColor $selc\"\n\t(procedure \"setui\" line 8)\n\tinvoked from within\n    \"setui $uicolor\"\n\t(file \"./gitk\" line 12498)\n\nI'm not subscribed to the mailing list but am happy to help on this issue.\nThank you for your continued work in maintaining gitk, very much appreciated!\n\nCheers,\nIngo\n"}]}