+ if (!show_tip)
+ return;
+
+ GtkWindow *parent = gtk_application_get_active_window (GTK_APPLICATION (app));
+
+ GtkWidget *d =
+ gtk_dialog_new_with_buttons (_("Psppire User Hint"), parent,
+ GTK_DIALOG_MODAL,
+ GTK_MESSAGE_INFO,
+ 0, 0,
+ NULL);
+
+ GtkWidget *pictogram = gtk_image_new_from_icon_name ("user-info", GTK_ICON_SIZE_DIALOG);
+
+ GtkWidget *next = gtk_button_new_with_mnemonic (_("_Next Tip"));
+ gtk_dialog_add_action_widget (GTK_DIALOG (d), next, 1);
+
+ GtkWidget *close = gtk_button_new_with_mnemonic (_("_Close"));
+ gtk_dialog_add_action_widget (GTK_DIALOG (d), close, GTK_RESPONSE_CLOSE);
+
+ gtk_window_set_transient_for (GTK_WINDOW (d), parent);
+
+ g_object_set (d,
+ "decorated", FALSE,
+ "skip-taskbar-hint", TRUE,
+ "skip-pager-hint", TRUE,
+ "application", app,
+ NULL);
+
+ GtkWidget *ca = gtk_dialog_get_content_area (GTK_DIALOG (d));
+
+ g_object_set (ca, "margin", 5, NULL);
+
+ GtkWidget *check = gtk_check_button_new_with_mnemonic ("_Show tips at startup");
+ gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (check), show_tip);
+
+ srand (time(0));
+ gint x = rand () % N_TIPS;
+ GtkWidget *label = gtk_label_new (gettext (tips[x]));
+
+ /* Make the font of the label a little larger than the other widgets. */
+ {
+ GtkStyleContext *sc = gtk_widget_get_style_context (label);
+ GtkCssProvider *p = gtk_css_provider_new ();
+ const gchar *css = "* {font-size: 130%;}";
+ if (gtk_css_provider_load_from_data (p, css, strlen (css), NULL))
+ {
+ gtk_style_context_add_provider (sc, GTK_STYLE_PROVIDER (p),
+ GTK_STYLE_PROVIDER_PRIORITY_APPLICATION);
+ }
+ g_object_unref (p);
+ }
+
+ /* It's more readable if the text is not all in one long line. */
+ g_object_set (label, "wrap", TRUE, NULL);
+ gint width = PANGO_PIXELS (50.0 * width_of_m (label) * PANGO_SCALE);
+ gtk_window_set_default_size (GTK_WINDOW (d), width, -1);
+
+
+ if (pictogram)
+ gtk_box_pack_start (GTK_BOX (ca), pictogram, FALSE, FALSE, 5);
+ gtk_box_pack_start (GTK_BOX (ca), label, FALSE, FALSE, 5);
+ gtk_box_pack_end (GTK_BOX (ca), check, FALSE, FALSE, 5);
+
+ gtk_widget_show_all (d);
+
+ g_object_set (close,
+ "has-focus", TRUE,
+ "is-focus", TRUE,
+ NULL);
+
+ while (1 == gtk_dialog_run (GTK_DIALOG (d)))
+ {
+ if (++x >= N_TIPS) x = 0;
+ g_object_set (label, "label", gettext (tips[x]), NULL);