+ if (is_resize)
+ gdk_window_resize(widget->window, w, h);
+ }
+ else if (pizza->m_backing_window)
+ {
+ // two windows, widget->window is smaller by border widths (need to
+ // move widget->window as well as resize because border can change)
+ gdk_window_move_resize(pizza->m_backing_window,
+ alloc->x, alloc->y, alloc->width, alloc->height);
+ gdk_window_move_resize(widget->window, border_x, border_y, w, h);