-static void
-gtk_event_box_paint (GtkWidget *widget,
- GdkRectangle *area)
-{
- if (!gtk_widget_get_app_paintable (widget))
- gtk_paint_flat_box (gtk_widget_get_style (widget),
- gtk_widget_get_window (widget),
- gtk_widget_get_state (widget),
- GTK_SHADOW_NONE,
- area, widget, "eventbox",
- 0, 0, -1, -1);
-}
-