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

[Ekaterina Gerasimova <egerasimov src gnome org>]

commit f6dd1f19ee4ac9daa7c01e5415dafe08673ad872
Author: Sindhu S <sindhus live in>
Date:   Wed Jan 9 16:34:07 2013 +0530

    help: add pref-profiles.page
    
    Added content to pref-profiles.page
    
    Added vertabim text to pref-profiles.page on how to create, edit
    and delete Terminal profiles.

 help/C/pref-profiles.page |   31 +++++++++++++++++++++++++++++++
 1 files changed, 31 insertions(+), 0 deletions(-)
---
diff --git a/help/C/pref-profiles.page b/help/C/pref-profiles.page
new file mode 100644
index 0000000..7c3daff
--- /dev/null
+++ b/help/C/pref-profiles.page
@@ -0,0 +1,31 @@
+<page xmlns="http://projectmallard.org/1.0/";
+      type="guide"
+      id="pref-profiles">
+
+  <info>
+    <revision version="0.1" date="2013-01-09" status="draft"/>
+    <link type="guide" xref="index#preferences"/>
+
+    <credit type="author copyright">
+      <name>Sindhu S</name>
+      <email>sindhus live in</email>
+      <years>2013</years>
+    </credit>
+
+    <desc>How to create, edit and delete <app>Terminal</app> profiles</desc>
+  </info>
+
+  <title>Manage Profiles</title>
+  <p> Profile is a collection of Terminal settings. Any changes you make to Terminal settings will be stored 
in "Default Profile" unless specified a separate profile. Terminal always opens with the profile "Default 
Setting" unless it has been told to do otherwise.</p>
+
+  <p>Create New Profile: Menu: File > New Profile. Or use keyboard sequence of Alt + F, then press P. In the 
Profile Name textbox type a name for your new profile and select base settings from available profiles. This 
means your new profile will be populated /filled with settings from existing profile up on which you can make 
changes. Changes will be stored in your new profile and will not affect settings of existing profiles.</p>
+
+  <p>Edit profiles : by going to Edit >> Profile Preferences option or Edit >> Profiles , select profile you 
want to edit and click Edit button, which will open the Profile Preferences window for profile you had 
selected to edit.</p>
+
+  <p>Delete profile: by going to Edit >> Profiles option. Select profile you want to delete and hit Delete 
button. Exit this window using close or X mark button</p>
+
+  <p>Set default profile: by going to Edit >> Profiles and selecting Profile in the dropdown menu of 
"Profile used when launching a new terminal"</p>
+
+  <p>Change profile in currently using terminal: Go to Menu:Terminal > Change Profile, select profile you'd 
like. This will change your existing Terminal window to use the profile you have selected.</p>
+
+</page>