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:

Please, change the coding to always use the specified fonts.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to