137
137
*****************************************************************/
138
138
static void set_title_topic(char *topic)
142
141
gtk_frame_set_label(GTK_FRAME(help_frame), freeciv_name_version());
144
143
gtk_frame_set_label(GTK_FRAME(help_frame), topic);