From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 21 Mar 2024 13:40:39 +0000 (-0700)
Subject: gui: Mark "Show tips at startup" for translation.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=60785de82c53d1b34256e932ec2c639c1823b77a;p=pspp

gui: Mark "Show tips at startup" for translation.

Thanks to Mindaugus for reporting that it was missing.
---

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 2950d38785..0e4ed2c68c 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -232,7 +232,7 @@ user_tip (GApplication *app)
 
   g_object_set (ca, "margin", 5, NULL);
 
-  GtkWidget *check = gtk_check_button_new_with_mnemonic ("_Show tips at startup");
+  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));