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

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