commit 508e95005154c797d2738fd4973f66714d7116b5
parent 7664e664f6df59f4d536bbfef5f324dc4220c3fb
Author: Ricardo Mones <ricardo@mones.org>
Date: Tue, 29 Oct 2019 11:05:21 +0100
Usage hint on header filtering
Diffstat:
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/prefs_matcher.c b/src/prefs_matcher.c
@@ -669,7 +669,10 @@ static void prefs_matcher_create(void)
gtk_widget_set_size_request(headers_combo, 100, -1);
gtk_box_pack_start(GTK_BOX(upper_hbox), headers_combo, TRUE, TRUE, 0);
header_entry = gtk_bin_get_child(GTK_BIN((headers_combo)));
-
+ CLAWS_SET_TIP(header_entry, _("Use button on the left to select the "
+ "header name. Type the name of the header if not available in "
+ "the list."));
+
criteria_combo2 = gtkut_sc_combobox_create(NULL, TRUE);
prefs_matcher_set_model(criteria_combo2, matcher.model_phrase);
gtk_box_pack_start(GTK_BOX(upper_hbox), criteria_combo2, TRUE, TRUE, 0);