After applying GUI preferences, reset the welcome screen's header message

in case the show version in welcome screen option was toggled.


svn path=/trunk/; revision=35114

gtk/main_welcome.c

@@ -277,7 +277,7 @@ welcome_button_callback_helper(GtkWidget *w, GdkEventButton *event _U_, gpointer
 }
 
 
-static void
+void
 welcome_header_set_message(gchar *msg) {
     GString *message;
     time_t secs = time(NULL);

gtk/main_welcome.h

@@ -46,6 +46,8 @@ void welcome_if_panel_reload(void);
  */
 void welcome_header_push_msg(const gchar *msg);
 
+void welcome_header_set_message(gchar *msg);
+
 /** Pop a status message from the welcome screen. If there are no
  *  messages on the stack, the default message and the main columns
  *  will be shown.

gtk/prefs_gui.c

@@ -51,6 +51,7 @@
 #include "gtk/font_utils.h"
 #include "gtk/recent.h"
 #include "gtk/webbrowser.h"
+#include "gtk/main_welcome.h"
 
 
 static gint fetch_enum_value(gpointer control, const enum_val_t *enumvals);
@@ -500,6 +501,10 @@ gui_prefs_apply(GtkWidget *w _U_ , gboolean redissect)
 	/* Redisplay the main window's title */
 	update_main_window_title();
 
+	/* Redisplay the default welcome header message in case the "show 
+	 * version" option was changed. */
+	welcome_header_set_message(NULL);
+
 	/* Redraw the help window(s). */
 	supported_redraw();
 	help_redraw();