[gnome-commander] Options: 'Tabs labels' -> 'Tab bar'
- From: Piotr Eljasiak <epiotr src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-commander] Options: 'Tabs labels' -> 'Tab bar'
- Date: Sat, 12 Feb 2011 10:19:52 +0000 (UTC)
commit e4e81946c7608d32991ffe6b030babb288a541fb
Author: Piotr Eljasiak <epiotr src gnome org>
Date: Sat Feb 12 10:41:23 2011 +0100
Options: 'Tabs labels' -> 'Tab bar'
src/gnome-cmd-options-dialog.cc | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/gnome-cmd-options-dialog.cc b/src/gnome-cmd-options-dialog.cc
index 51eb4db..983aa6c 100644
--- a/src/gnome-cmd-options-dialog.cc
+++ b/src/gnome-cmd-options-dialog.cc
@@ -847,7 +847,7 @@ static GtkWidget *create_tabs_tab (GtkWidget *parent)
gtk_box_pack_start (GTK_BOX (hbox), vbox, TRUE, TRUE, 0);
cat_box = create_vbox (parent, FALSE, 0);
- cat = create_category (parent, cat_box, _("Tabs labels"));
+ cat = create_category (parent, cat_box, _("Tab bar"));
gtk_box_pack_start (GTK_BOX (vbox), cat, FALSE, TRUE, 0);
check = create_check (parent, _("Always show the tab bar"), "always_show_tabs");
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]