From 60785de82c53d1b34256e932ec2c639c1823b77a Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 21 Mar 2024 06:40:39 -0700 Subject: [PATCH] gui: Mark "Show tips at startup" for translation. Thanks to Mindaugus for reporting that it was missing. --- src/ui/gui/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)); -- 2.30.2