[gnome-terminal] profile: editor: Rename command tab

[Christian Persch <chpe src gnome org>]

commit cb1bb69db554eaf165c1f2a334f87f7cbb8e138b
Author: Christian Persch <chpe gnome org>
Date:   Fri Apr 18 11:44:16 2014 +0200

    profile: editor: Rename command tab
    
    Since the title setting was removed, this tab only configures the command,
    so rename it to "Command" only from "Title & Command".
    
    https://bugzilla.gnome.org/show_bug.cgi?id=724110

 src/profile-preferences.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index b8740a2..791090d 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -775,7 +775,7 @@
               <object class="GtkLabel" id="label38">
                 <property name="visible">True</property>
                 <property name="can_focus">False</property>
-                <property name="label" translatable="yes">Title and Command</property>
+                <property name="label" translatable="yes">Command</property>
                 <property name="use_underline">True</property>
                 <property name="justify">center</property>
               </object>