-
Cosimo Cecchi authored
Since we allocate the standard CSS border to the button now, and center the child accordingly, there's no need for an additional inner-border style property. Deprecate it and ignore its values. https://bugzilla.gnome.org/show_bug.cgi?id=666600
2827cd45