[gnome-terminal] help: update pref-profiles.page

[Ekaterina Gerasimova <egerasimov src gnome org>]

commit 15a604512ae006b8cd2a058f060440811b94d8e2
Author: Ekaterina Gerasimova <kittykat3756 gmail com>
Date:   Sun Mar 3 15:15:14 2013 +0000

    help: update pref-profiles.page
    
    Tidy up page, reflow lines where needed,  remove 'default-profile'
    section, fix <guiseq>/<gui> tag split over two lines.

 help/C/pref-profiles.page |   42 ++++++++++++++++++++++--------------------
 1 files changed, 22 insertions(+), 20 deletions(-)
---
diff --git a/help/C/pref-profiles.page b/help/C/pref-profiles.page
index db4f9fd..8c98f27 100644
--- a/help/C/pref-profiles.page
+++ b/help/C/pref-profiles.page
@@ -29,6 +29,12 @@
 
   <title>Manage profiles</title>
 
+  <comment>
+    <cite href="mailto:kittykat3756 gmail com">Kat</cite>
+    <p>Repeating that the user can edit the settings in each section is not
+    very nice, we need to find a way around this.</p>
+  </comment>
+
   <p>A profile is a collection of <app>Terminal</app> settings.
   <app>Terminal</app> supports multiple profiles. You can configure
   <app>Terminal</app> profiles to <link xref="pref-custom-shells">run a custom
@@ -40,28 +46,23 @@
 
   <list>
     <item>
-      <p>Profile name</p>
+      <p>Profile name.</p>
     </item>
     <item>
       <p>Font and background colors.</p>
     </item>
     <item>
-      <p><gui style="tab">Compatibility</gui> with Backspace and Delete
-      keys.</p>
+      <p><gui style="tab">Compatibility</gui> with <key>Backspace</key> and
+      <key>Delete</key> keys.</p>
     </item>
     <item>
-      <p><gui style="tab">Scrolling</gui> and so on.</p>
+      <p><gui style="tab">Scrolling</gui>.</p>
     </item>
   </list>
 
-  <section id="default-profile" style="task">
-    <title>Default profile</title>
-
-    <p>The default profile is loaded when a new terminal is opened, unless you
-    have selected another profile, and any changes that you make to the settings
-    will be stored in the default profile.</p>
-
-  </section>
+  <p>The default profile is loaded when a new terminal is opened unless you
+  have selected another profile. Any changes that you make to the settings will
+  be stored in the currently used profile.</p>
 
   <section id="set-default" style="task">
     <title>Set a default profile</title>
@@ -76,8 +77,8 @@
         <gui style="tab">Profiles</gui></guiseq>.</p>
       </item>
       <item>
-        <p>Select the profile to be set as default from <gui>Profile used when
-        launching a new terminal</gui>.</p>
+        <p>Select the profile to be set as default from the <gui>Profile used
+        when launching a new terminal</gui> drop down list.</p>
       </item>
     </steps>
 
@@ -101,7 +102,7 @@
     <steps>
       <item>
         <p>Select <guiseq><gui style="menu">File</gui>
-        <gui style="menuitem">New Profile…</gui></guiseq>.</p>
+        <gui style="menuitem">New Profile</gui></guiseq>.</p>
       </item>
       <item>
         <p>Enter a name for the new profile next to
@@ -139,15 +140,15 @@
 
     <steps>
       <item>
-        <p>Select the profile that you wish to edit from <guiseq>
-        <gui style="menu">Terminal</gui>
+        <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></gui></guiseq> where
         <var>Profile name</var> is the name of the profile that you wish to
         edit. Alternatively, you can select <guiseq>
         <gui style="menu">File</gui>
-        <gui style="menuitem">New Profile…</gui></guiseq> to clone the profile
-        that is currently selected.</p>
+        <gui style="menuitem">New Profile</gui></guiseq> to clone the profile
+        that you are currently using.</p>
       </item>
       <item>
         <p>Set your desired <link xref="#edit-profile">profile
@@ -182,7 +183,8 @@
 
     <note>
       <p>Creating a new profile from an existing profile will not affect
-      settings in an existing profile. Any changes to settings will be stored in the new profile.</p>
+      settings in an existing profile. Any changes to settings will be stored
+      in the new profile.</p>
     </note>
 
   </section>