GNOME Bugzilla – Bug 732776
Bottom border is too thin
Last modified: 2017-03-06 00:23:54 UTC
Created attachment 279957 [details] screenshot The bottom border is thinner than the sides are. Maybe the top is too, hard to tell.
The following fixes have been pushed: - fad97e4 interface: Improve rendering of external borders
Make that commit 4670584. I’m having a bad day with git-bz.