libgksu-ubuntu/patches/13_startup_notification.patch

   1 diff -Nur libgksu-2.0.3/libgksu/libgksu.c libgksu-2.0.3.new/libgksu/libgksu.c
   2 --- libgksu-2.0.3/libgksu/libgksu.c     2006-12-18 12:36:29.000000000 +0100
   3 +++ libgksu-2.0.3.new/libgksu/libgksu.c 2006-12-18 12:37:40.000000000 +0100
   4 @@ -1690,7 +1690,18 @@
   5  gksu_context_launch_initiate (GksuContext *context)
   6  {
   7    gchar *sid = NULL;
   8 -  guint32 launch_time = gdk_x11_display_get_user_time ((GdkDisplay*)GDK_DISPLAY());
   9 +
  10 +  // guint32 launch_time = gdk_x11_display_get_user_time(GDK_DISPLAY());
  11 +  // ^---- does not work reliable and reports absurdly large launch times
  12 +  //       for me
  13 +  // *cry* we create a fake-window, realize it to get the
  14 +  // current server time. there must be a simpler way,
  15 +  // but I don't know it!
  16 +  GtkWidget *win = gtk_window_new(GTK_WINDOW_TOPLEVEL);
  17 +  gtk_widget_realize(win);
  18 +  gtk_widget_add_events (GTK_WIDGET (win), GDK_PROPERTY_CHANGE_MASK);
  19 +  guint32 launch_time = gdk_x11_get_server_time(win->window);
  20 +
  21    static gboolean initiated = FALSE;
  22
  23    if (!initiated)