- x = 0;
- y = 0;
- w = widget->allocation.width - 2*border;
- h = widget->allocation.height - 2*border;
-
- if (dx > 0)
- {
- if (gravity_works)
- {
- gdk_window_resize (pizza->bin_window,
- w + dx,
- h);
- gdk_window_move (pizza->bin_window, x-dx, y);
- gdk_window_move_resize (pizza->bin_window, x, y, w, h );
- }
- else
- {
- /* FIXME */
- }
-
- gtk_pizza_expose_area (pizza,
- MAX ((gint)w - dx, 0),
- 0,
- MIN (dx, w),
- h);
- }
- else if (dx < 0)
- {
- if (gravity_works)
- {
- gdk_window_move_resize (pizza->bin_window,
- x + dx,
- y,
- w - dx,
- h);
- gdk_window_move (pizza->bin_window, x, y);
- gdk_window_resize (pizza->bin_window, w, h );
- }
- else
- {
- /* FIXME */
- }
-
- gtk_pizza_expose_area (pizza,
- 0,
- 0,
- MIN (-dx, w),
- h);
- }
-
- if (dy > 0)
- {
- if (gravity_works)
- {
- gdk_window_resize (pizza->bin_window, w, h + dy);
- gdk_window_move (pizza->bin_window, x, y-dy);
- gdk_window_move_resize (pizza->bin_window,
- x, y, w, h );
- }
- else
- {
- /* FIXME */
- }
-
- gtk_pizza_expose_area (pizza,
- 0,
- MAX ((gint)h - dy, 0),
- w,
- MIN (dy, h));
- }
- else if (dy < 0)
- {
- if (gravity_works)
- {
- gdk_window_move_resize (pizza->bin_window,
- x, y+dy, w, h - dy );
- gdk_window_move (pizza->bin_window, x, y);
- gdk_window_resize (pizza->bin_window, w, h );
- }
- else
- {
- /* FIXME */
- }
- gtk_pizza_expose_area (pizza,
- 0,
- 0,
- w,
- MIN (-dy, (gint)h));
- }
-
- gtk_pizza_position_children (pizza);
-
- /* We have to make sure that all exposes from this scroll get
- * processed before we scroll again, or the expose events will
- * have invalid coordinates.
- *
- * We also do expose events for other windows, since otherwise
- * their updating will fall behind the scrolling
- *
- * This also avoids a problem in pre-1.0 GTK where filters don't
- * have access to configure events that were compressed.
- */
-
- gdk_flush();
- while (XCheckIfEvent(GDK_WINDOW_XDISPLAY (pizza->bin_window),
- &xevent,
- gtk_pizza_expose_predicate,
- (XPointer)&GDK_WINDOW_XWINDOW (pizza->bin_window)))
- {
- GdkEvent event;
- GtkWidget *event_widget;
-
- if ((xevent.xany.window == GDK_WINDOW_XWINDOW (pizza->bin_window)) &&
- (gtk_pizza_filter (&xevent, &event, pizza) == GDK_FILTER_REMOVE))
- continue;
-
- if (xevent.type == Expose)
- {
- event.expose.window = gdk_window_lookup (xevent.xany.window);
- gdk_window_get_user_data (event.expose.window,
- (gpointer *)&event_widget);
-
- if (event_widget)
- {
- event.expose.type = GDK_EXPOSE;
- event.expose.area.x = xevent.xexpose.x;
- event.expose.area.y = xevent.xexpose.y;
- event.expose.area.width = xevent.xexpose.width;
- event.expose.area.height = xevent.xexpose.height;
- event.expose.count = xevent.xexpose.count;
-
- gdk_window_ref (event.expose.window);
- gtk_widget_event (event_widget, &event);
- gdk_window_unref (event.expose.window);
- }
- }
- }
-}
-
-/* The main event filter. Actually, we probably don't really need
- * to install this as a filter at all, since we are calling it
- * directly above in the expose-handling hack. But in case scrollbars
- * are fixed up in some manner...
- *
- * This routine identifies expose events that are generated when
- * we've temporarily moved the bin_window_origin, and translates
- * them or discards them, depending on whether we are obscured
- * or not.
- */
-static GdkFilterReturn
-gtk_pizza_filter (GdkXEvent *gdk_xevent,
- GdkEvent *event,
- gpointer data)
-{
- XEvent *xevent;
- GtkPizza *pizza;
-
- xevent = (XEvent *)gdk_xevent;
- pizza = GTK_PIZZA (data);
-
- switch (xevent->type)
- {
- case Expose:
- if (xevent->xexpose.serial == pizza->configure_serial)
- {
- if (pizza->visibility == GDK_VISIBILITY_UNOBSCURED)
- return GDK_FILTER_REMOVE;
- else
- {
- xevent->xexpose.x += pizza->scroll_x;
- xevent->xexpose.y += pizza->scroll_y;
-
- break;
- }
- }
- break;
-
- case ConfigureNotify:
- if ((xevent->xconfigure.x != 0) || (xevent->xconfigure.y != 0))
- {
- pizza->configure_serial = xevent->xconfigure.serial;
- pizza->scroll_x = xevent->xconfigure.x;
- pizza->scroll_y = xevent->xconfigure.y;
- }
- break;
- }
-
- return GDK_FILTER_CONTINUE;
-}
-
-/* Although GDK does have a GDK_VISIBILITY_NOTIFY event,
- * there is no corresponding event in GTK, so we have
- * to get the events from a filter
- */
-static GdkFilterReturn
-gtk_pizza_main_filter (GdkXEvent *gdk_xevent,
- GdkEvent *event,
- gpointer data)
-{
- XEvent *xevent;
- GtkPizza *pizza;
-
- xevent = (XEvent *)gdk_xevent;
- pizza = GTK_PIZZA (data);
-
- if (xevent->type == VisibilityNotify)
- {
- switch (xevent->xvisibility.state)
- {
- case VisibilityFullyObscured:
- pizza->visibility = GDK_VISIBILITY_FULLY_OBSCURED;
- break;
-
- case VisibilityPartiallyObscured:
- pizza->visibility = GDK_VISIBILITY_PARTIAL;
- break;
-
- case VisibilityUnobscured:
- pizza->visibility = GDK_VISIBILITY_UNOBSCURED;
- break;
- }
-
- return GDK_FILTER_REMOVE;
- }
-
-
- return GDK_FILTER_CONTINUE;