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 2950d38785b0b8c8883501b7178ff7ea65d05da5..0e4ed2c68ca6a0478185e6ee7b804ec388d6e376 100644 (file)
--- 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));