[gnome-commander] Better explanation in options dialoge for case sensitiviy option

[Uwe Scholz <uwescholz src gnome org>]

commit 88c0e75f7f3ff2b77a337f5c995c4a2a827b8956
Author: Uwe Scholz <uwescholz src gnome org>
Date:   Sat Sep 9 19:10:32 2017 +0200

    Better explanation in options dialoge for case sensitiviy option

 src/dialogs/gnome-cmd-options-dialog.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/dialogs/gnome-cmd-options-dialog.cc b/src/dialogs/gnome-cmd-options-dialog.cc
index 207ecde..5a6c0f6 100644
--- a/src/dialogs/gnome-cmd-options-dialog.cc
+++ b/src/dialogs/gnome-cmd-options-dialog.cc
@@ -152,7 +152,7 @@ static GtkWidget *create_general_tab (GtkWidget *parent, GnomeCmdData::Options &
 
     // Sort options
     cat_box = create_vbox (parent, FALSE, 0);
-    cat = create_category (parent, cat_box, _("Sorting"));
+    cat = create_category (parent, cat_box, _("Sorting/Quick search"));
     gtk_box_pack_start (GTK_BOX (vbox), cat, FALSE, TRUE, 0);
 
     check = create_check (parent, _("Case sensitive"), "case_sens_check");