-/* Callbacks */
-
-/* unused */
-#if 0
-/* Send a synthetic expose event to the widget
- */
-static void
-gtk_pizza_expose_area (GtkPizza *pizza,
- gint x, gint y, gint width, gint height)
-{
- if (pizza->visibility == GDK_VISIBILITY_UNOBSCURED)
- {
- GdkEventExpose event;
-
- event.type = GDK_EXPOSE;
- event.send_event = TRUE;
- event.window = pizza->bin_window;
- event.count = 0;
-
- event.area.x = x;
- event.area.y = y;
- event.area.width = width;
- event.area.height = height;
-
- gdk_window_ref (event.window);
- gtk_widget_event (GTK_WIDGET (pizza), (GdkEvent *)&event);
- gdk_window_unref (event.window);
- }
-}
-#endif /* unused */
-
-/* This function is used to find events to process while scrolling
- */