-
This is needed to set a padding and draw a border since GtkBox does not honour css padding yet. https://bugzilla.gnome.org/show_bug.cgi?id=724693
d3c28194
This is needed to set a padding and draw a border since GtkBox does not honour css padding yet. https://bugzilla.gnome.org/show_bug.cgi?id=724693