[gnome-terminal] help: Modified help on pref-profiles.page

[Ekaterina Gerasimova <egerasimov src gnome org>]

commit 002709048bb05af7d47e85aa1533673ad9f6c7b5
Author: Sindhu S <sindhus live in>
Date:   Mon Feb 25 10:37:52 2013 +0530

    help: Modified help on pref-profiles.page
    
    Removed review notes after making changes.
    Fixed yelp validation by adding missing mallard tag.

 help/C/pref-profiles.page |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)
---
diff --git a/help/C/pref-profiles.page b/help/C/pref-profiles.page
index 803394f..8febf06 100644
--- a/help/C/pref-profiles.page
+++ b/help/C/pref-profiles.page
@@ -33,10 +33,10 @@
       <p>Font and backgrounf colors</p>
     </item>
     <item>
-      <p><gui style="tab">Compatibility</gui> <!-- …with what? --></p>
+      <p><gui style="tab">Keystroke Compatibility</gui></p>
     </item>
     <item>
-      <p><gui style="tab">Scrolling</gui> etc. <!-- Do not use Latin. --></p>
+      <p><gui style="tab">Scrolling</gui> and so on.</p>
     </item>
   </list>
 
@@ -101,8 +101,8 @@
         <gui style="tab">General</gui> tab.</p>
       </item>
       <item>
-        <p>Set your preferred terminal behaviour on
-        <link xref="pref-custom-exit">executing <cmd>exit</cmd></link> and set
+        <p>Set your preferred terminal behaviour for
+        <link xref="pref-custom-exit">command <cmd>exit</cmd></link> and set
         a <link xref="pref-login-shell">custom login shell</link> in the
         <gui style="tab">Title and Command</gui> tab.</p>
       </item>
@@ -128,7 +128,7 @@
         <p>Select the profile that you wish to edit from
         <guiseq><gui style="menu">Terminal</gui>
         <gui style="menuitem">Change Profile</gui>
-        <gui style="menuitem"><var>Profile name</var></guiseq> where
+        <gui style="menuitem"><var>Profile name</var></gui></guiseq> where
         <var>Profile name</var> is the name of the profile that you wish to
         edit.</p>
       </item>