static void
 present_window (GtkWidget *window)
 {
 #ifdef GDK_WINDOWING_X11
   if (GDK_IS_X11_WINDOW (window))
     {
       guint32 timestamp;

       timestamp = gdk_x11_get_server_time (gtk_widget_get_window (window));
       gtk_window_present_with_time (GTK_WINDOW (window), timestamp);
     }
   else
 #endif
     gtk_window_present (GTK_WINDOW (window));
 }