+ if (!GTK_WIDGET_REALIZED (GTK_WIDGET (new_window)))
+ gtk_widget_realize (GTK_WIDGET (new_window));
+
+ if (timestamp <= 0)
+ timestamp = gdk_x11_get_server_time (GTK_WIDGET (new_window)->window);
+ gdk_x11_window_set_user_time (GTK_WIDGET (new_window)->window, timestamp);
+