[gnome-terminal] Fix bgo618188 - edit profiles dialog in docs

[Paul Cutler <pcutler src gnome org>]

commit 0313298a6bcf50baff540b633aca19e41cdac3ef
Author: Paul Cutler <pcutler gnome org>
Date:   Sun May 9 18:42:40 2010 -0500

    Fix bgo618188 - edit profiles dialog in docs

 help/C/gnome-terminal.xml |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/help/C/gnome-terminal.xml b/help/C/gnome-terminal.xml
index df2da2a..6be0a2b 100644
--- a/help/C/gnome-terminal.xml
+++ b/help/C/gnome-terminal.xml
@@ -501,7 +501,7 @@ text-based commands through a shell such as Bash.
                   </listitem> 
                   <listitem> 
                      <para>
-                        Right-click in the terminal window, then choose <guimenuitem>Edit Current Profile</guimenuitem> from the popup menu.  </para>
+                        Right-click in the terminal window, then choose <menuchoice><guimenuitem>Profiles</guimenuitem> <guimenuitem>Profile Preferences</guimenuitem></menuchoice> from the popup menu.  </para>
                   </listitem> 
                   <listitem> 
                      <para>