[gnome-terminal/mallard-help] help: update pref-profiles.page
- From: Ekaterina Gerasimova <egerasimov src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal/mallard-help] help: update pref-profiles.page
- Date: Sun, 3 Mar 2013 15:38:02 +0000 (UTC)
commit 663caae531de801736b461c29c75133451537133
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..b04edcc 100644
--- a/help/C/pref-profiles.page
+++ b/help/C/pref-profiles.page
@@ -27,6 +27,12 @@
<desc>Create, edit and delete profiles.</desc>
</info>
+ <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>
+
<title>Manage profiles</title>
<p>A profile is a collection of <app>Terminal</app> settings.
@@ -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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]