static void
 present_window (GtkWidget *window)
 {
   guint32 timestamp;

   timestamp = gdk_x11_get_server_time (gtk_widget_get_window (window));
   gtk_window_present_with_time (GTK_WINDOW (window), timestamp);
 }