47 GtkWidget *dialog, *label;
51 if (current_name == NULL) {
58 dialog = gtk_dialog_new_with_buttons(
_(
"Theme suggested"),
63 _(
"Keep current theme"),
66 gtk_dialog_set_default_response(GTK_DIALOG(dialog), GTK_RESPONSE_YES);
67 gtk_window_set_destroy_with_parent(GTK_WINDOW(dialog),
TRUE);
70 _(
"Tileset suggests using %s theme.\n"
71 "You are currently using %s."),
72 theme_name, current_name);
74 label = gtk_label_new(buf);
75 gtk_box_append(GTK_BOX(gtk_dialog_get_content_area(GTK_DIALOG(dialog))), label);
76 gtk_label_set_justify(GTK_LABEL(label), GTK_JUSTIFY_CENTER);
77 gtk_widget_show(label);
81 gtk_window_destroy(GTK_WINDOW(dialog));
#define GUI_GTK_OPTION(optname)