-static void
-update_resize_grip (GtkWidget *widget,
- GdkEventWindowState *event,
- GtkStatusbar *statusbar)
-{
- if (event->changed_mask & (GDK_WINDOW_STATE_MAXIMIZED |
- GDK_WINDOW_STATE_FULLSCREEN))
- {
- gboolean maximized;
-
- maximized = event->new_window_state & (GDK_WINDOW_STATE_MAXIMIZED |
- GDK_WINDOW_STATE_FULLSCREEN);
- gtk_statusbar_set_has_resize_grip (statusbar, !maximized);
- }
-}
-