- gtk_paint_vline (widget->style, widget->window, GTK_STATE_NORMAL,
- &event->area, widget, "vseparator",
- widget->allocation.y,
- widget->allocation.y + widget->allocation.height,
- widget->allocation.x + (widget->allocation.width -
- widget->style->xthickness) / 2);
+ {
+ gboolean wide_separators;
+ gint separator_width;
+
+ gtk_widget_style_get (widget,
+ "wide-separators", &wide_separators,
+ "separator-width", &separator_width,
+ NULL);
+
+ if (wide_separators)
+ gtk_paint_box (widget->style, widget->window,
+ GTK_WIDGET_STATE (widget), GTK_SHADOW_ETCHED_OUT,
+ &event->area, widget, "vseparator",
+ widget->allocation.x + (widget->allocation.width -
+ separator_width) / 2,
+ widget->allocation.y,
+ separator_width,
+ widget->allocation.height);
+ else
+ gtk_paint_vline (widget->style, widget->window,
+ GTK_WIDGET_STATE (widget),
+ &event->area, widget, "vseparator",
+ widget->allocation.y,
+ widget->allocation.y + widget->allocation.height - 1,
+ widget->allocation.x + (widget->allocation.width -
+ widget->style->xthickness) / 2);
+ }