+
+ /* Redraw the handle
+ */
+ gdk_window_get_size (paned->handle, &width, &height);
+
+ handle_area.x = paned->handle_xpos;
+ handle_area.y = paned->handle_ypos;
+ handle_area.width = width;
+ handle_area.height = height;
+
+ if (gdk_rectangle_intersect (&handle_area, area, &child_area))
+ {
+ child_area.x -= handle_area.x;
+ child_area.y -= handle_area.y;
+ gtk_paint_box (widget->style, paned->handle,
+ GTK_WIDGET_STATE(widget),
+ GTK_SHADOW_OUT,
+ &child_area, widget, "paned",
+ 0, 0,
+ width, height);
+ }
+
+ /* Redraw the groove
+ */
+ gtk_paint_hline(widget->style, widget->window, GTK_STATE_NORMAL,
+ area, widget, "vpaned",
+ 0, widget->allocation.width - 1,
+ border_width + paned->child1_size + paned->gutter_size / 2 - 1);
+
+ /* Redraw the children
+ */