-
Jonh Wendell authored
This allows themes do whatever they want as separators, with paddings, borders and backgrounds. If "wide-separators" property is true, then, instead of just draw a frame, also render its background, and take into account the padding property for its limits. https://bugzilla.gnome.org/show_bug.cgi?id=719713
9d8a32b0