gitk does not respect UI fonts

DISCUSSION Heinrich Schuchardt 1 participant 1 message Jun 15, 2016

Share & tools

Heinrich Schuchardt

author

2016-06-15 23:01 UTC #0 lore raw

In gitk three UI fonts may be specified. These used for some GUI elements but not for all. Radioboxes for instance do not use any of the 3 fonts that can be specified. An example is provided here:
http://i58.tinypic.com/11kwpp0.png

Please, change the coding to always use the specified fonts.