dev-games/gnome-inform7/files/gnome-inform7-5T18-welcome.patch

   1 --- gnome-inform7-5T18/src/welcomedialog.c~     2008-01-21 00:01:28.000000000 +0000
   2 +++ gnome-inform7-5T18/src/welcomedialog.c      2008-05-17 15:15:56.000000000 +0100
   3 @@ -219,3 +219,13 @@
   4      gtk_widget_show(thestory->window);
   5      gtk_widget_destroy(gtk_widget_get_toplevel(GTK_WIDGET(button)));
   6  }
   7 +
   8 +gboolean
   9 +on_welcome_dialog_delete_event         (GtkWidget       *widget,
  10 +                                        GdkEvent        *event,
  11 +                                        gpointer         user_data)
  12 +{
  13 +    gtk_main_quit();
  14 +    return FALSE;
  15 +}
  16 +
  17 --- gnome-inform7-5T18/src/interface.c~ 2008-04-30 16:19:49.000000000 +0100
  18 +++ gnome-inform7-5T18/src/interface.c  2008-05-17 15:15:56.000000000 +0100
  19 @@ -2587,13 +2587,13 @@
  20    GtkWidget *image3;
  21    GtkWidget *label3;
  22
  23 -  welcome_dialog = gtk_window_new (GTK_WINDOW_POPUP);
  24 +  welcome_dialog = gtk_window_new (GTK_WINDOW_TOPLEVEL);
  25    gtk_widget_set_size_request (welcome_dialog, 550, 364);
  26    gtk_window_set_title (GTK_WINDOW (welcome_dialog), _("Welcome to Inform 7"));
  27    gtk_window_set_position (GTK_WINDOW (welcome_dialog), GTK_WIN_POS_CENTER_ALWAYS);
  28    gtk_window_set_modal (GTK_WINDOW (welcome_dialog), TRUE);
  29    gtk_window_set_destroy_with_parent (GTK_WINDOW (welcome_dialog), TRUE);
  30 -  gtk_window_set_type_hint (GTK_WINDOW (welcome_dialog), GDK_WINDOW_TYPE_HINT_SPLASHSCREEN);
  31 +  gtk_window_set_type_hint (GTK_WINDOW (welcome_dialog), GDK_WINDOW_TYPE_HINT_DIALOG);
  32    gtk_window_set_urgency_hint (GTK_WINDOW (welcome_dialog), TRUE);
  33
  34    vbox14 = gtk_vbox_new (FALSE, 0);
  35 @@ -2686,6 +2686,9 @@
  36    g_signal_connect_after ((gpointer) welcome_dialog, "realize",
  37                            G_CALLBACK (after_welcome_dialog_realize),
  38                            NULL);
  39 +  g_signal_connect ((gpointer) welcome_dialog, "delete_event",
  40 +                    G_CALLBACK (on_welcome_dialog_delete_event),
  41 +                    NULL);
  42    g_signal_connect ((gpointer) welcome_new_button, "clicked",
  43                      G_CALLBACK (on_welcome_new_button_clicked),
  44                      NULL);
  45 --- gnome-inform7-5T18/src/welcomedialog.h~     2007-04-26 19:32:16.000000000 +0100
  46 +++ gnome-inform7-5T18/src/welcomedialog.h      2008-05-17 15:15:56.000000000 +0100
  47 @@ -41,4 +41,9 @@
  48  on_welcome_reopen_button_clicked       (GtkButton       *button,
  49                                          gpointer         user_data);
  50
  51 +gboolean
  52 +on_welcome_dialog_delete_event         (GtkWidget       *widget,
  53 +                                        GdkEvent        *event,
  54 +                                        gpointer         user_data);
  55 +
  56  #endif
  57 --- gnome-inform7-5T18/gnome-inform7.glade~     2008-04-30 16:19:49.000000000 +0100
  58 +++ gnome-inform7-5T18/gnome-inform7.glade      2008-05-17 15:15:56.000000000 +0100
  59 @@ -4745,7 +4745,7 @@
  60    <property name="height_request">364</property>
  61    <property name="visible">True</property>
  62    <property name="title" translatable="yes">Welcome to Inform 7</property>
  63 -  <property name="type">GTK_WINDOW_POPUP</property>
  64 +  <property name="type">GTK_WINDOW_TOPLEVEL</property>
  65    <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property>
  66    <property name="modal">True</property>
  67    <property name="resizable">True</property>
  68 @@ -4753,11 +4753,12 @@
  69    <property name="decorated">True</property>
  70    <property name="skip_taskbar_hint">False</property>
  71    <property name="skip_pager_hint">False</property>
  72 -  <property name="type_hint">GDK_WINDOW_TYPE_HINT_SPLASHSCREEN</property>
  73 +  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  74    <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  75    <property name="focus_on_map">True</property>
  76    <property name="urgency_hint">True</property>
  77    <signal name="realize" handler="after_welcome_dialog_realize" after="yes" last_modification_time="Thu, 31 Aug 2006 01:55:02 GMT"/>
  78 +  <signal name="delete_event" handler="on_welcome_dialog_delete_event" last_modification_time="Sat, 17 May 2008 13:39:24 GMT"/>
  79
  80    <child>
  81      <widget class="GtkVBox" id="vbox14">