[gnome-terminal] help: Add warning about editing default profile.

[Sindhu S <sindhus src gnome org>]

commit fbb88bcc72022fd7d41a43dc57cfa2189a72dc7a
Author: Sindhu S <sindhus live in>
Date:   Wed Apr 24 11:05:40 2013 -0400

    help: Add warning about editing default profile.
    
    Warning tells user that editing the default Terminal profile
    could potentially make Terminal unusable should settings cause
    problems and there be no other profile to set as default.

 help/C/pref-profiles.page                     |   10 +++++++
 help/C/prob-recover-default-profile.page.stub |   33 -------------------------
 2 files changed, 10 insertions(+), 33 deletions(-)
---
diff --git a/help/C/pref-profiles.page b/help/C/pref-profiles.page
index c57e8f5..d6f647c 100644
--- a/help/C/pref-profiles.page
+++ b/help/C/pref-profiles.page
@@ -193,6 +193,16 @@
   <section id="edit-profile" style="task">
     <title>Edit a profile</title>
 
+    <note style="warning">
+      <p>If the default profile is edited, it cannot be restored to its
+      original settings! If you have not already created any other
+      <app>Terminal</app> profiles and have customized the default profile,
+      <app>Terminal</app> <em>may</em> become unusuable should any settings
+      cause problems. It is recommended that you
+      <link xref="#create-profile-from-existing">create a copy of the
+      default profile</link> then edit the copy to create a custom profile.</p>
+    </note>
+
     <p>You can make changes to existing profiles. To edit a profile, select
     <guiseq><gui style="menu">Edit</gui>
     <gui style="menuitem">Profile Preferences</gui></guiseq>.</p>