I'm sorry for confusing the issue. Looking closer at Git-Gui on the other machines, it appears that aliasing is not the issue - They are all aliased, but it looks much worse on one machine than on the others. I guess it could have something to do with the default font or font size; please see the attached screenshot.
I'm sorry for confusing the issue. Looking closer at Git-Gui on the other machines, it appears that aliasing is not the issue - They are all aliased, but it looks much worse on one machine than on the others. I guess it could have something to do with the default font or font size; please see the attached screenshot.