gridview: Add border-spacing where it was missed
authorBenjamin Otte <otte@redhat.com>
Tue, 16 May 2023 16:08:21 +0000 (18:08 +0200)
committerBenjamin Otte <otte@redhat.com>
Tue, 16 May 2023 16:53:09 +0000 (18:53 +0200)
commit099955b0c06dbddc9469bd3c8e63673a3a82883f
tree5ed1888e0193c4e2df8083377a2cf47dfd1a0cc4
parentb530ade8c6eb6673f8ccd543616c89b609b747d8
gridview: Add border-spacing where it was missed

We were computing column widths without taking border-spacing into
account, making them slightly too big.
gtk/gtkgridview.c