[gnome-terminal] help: No more 'Edit' menu to get to Preferences
- From: Andre Klapper <aklapper src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] help: No more 'Edit' menu to get to Preferences
- Date: Sat, 4 Jan 2020 18:46:10 +0000 (UTC)
commit 8458f8d020867053e802b8f472fab01841e9b733
Author: Andre Klapper <a9016009 gmx de>
Date: Sat Jan 4 19:26:25 2020 +0100
help: No more 'Edit' menu to get to Preferences
help/C/pref-scrolling.page | 41 +++++++++++++++++++++--------------------
1 file changed, 21 insertions(+), 20 deletions(-)
---
diff --git a/help/C/pref-scrolling.page b/help/C/pref-scrolling.page
index 876f267b..3d23bb34 100644
--- a/help/C/pref-scrolling.page
+++ b/help/C/pref-scrolling.page
@@ -5,6 +5,7 @@
<info>
<revision pkgversion="3.8" date="2013-02-25" status="draft"/>
<revision pkgversion="3.12" date="2014-09-08" status="review"/>
+ <revision version="0.2" pkgversion="3.34" date="2020-01-04" status="review"/>
<link type="guide" xref="index#preferences"/>
<link type="guide" xref="pref#profile"/>
@@ -37,12 +38,12 @@
<steps>
<item>
- <p>Open <guiseq><gui style="menu">Edit</gui>
- <gui style="menuitem">Preferences</gui></guiseq>.</p>
+ <p>Press the menu button in the top-right corner of the window and select
+ <gui style="menuitem">Preferences</gui>.</p>
</item>
<item>
- <p>Your current profile is selected in the sidebar. If you wish to edit
- a different profile, click on its name.</p>
+ <p>In the sidebar, select your current profile in the <gui>Profiles</gui>
+ section.</p>
</item>
<item>
<p>Select <gui style="tab">Scrolling</gui>.</p>
@@ -64,12 +65,12 @@
<steps>
<item>
- <p>Open <guiseq><gui style="menu">Edit</gui>
- <gui style="menuitem">Preferences</gui></guiseq>.</p>
+ <p>Press the menu button in the top-right corner of the window and select
+ <gui style="menuitem">Preferences</gui>.</p>
</item>
<item>
- <p>Your current profile is selected in the sidebar. If you wish to edit
- a different profile, click on its name.</p>
+ <p>In the sidebar, select your current profile in the <gui>Profiles</gui>
+ section.</p>
</item>
<item>
<p>Select <gui style="tab">Scrolling</gui>.</p>
@@ -89,12 +90,12 @@
<steps>
<item>
- <p>Open <guiseq><gui style="menu">Edit</gui>
- <gui style="menuitem">Preferences</gui></guiseq>.</p>
+ <p>Press the menu button in the top-right corner of the window and select
+ <gui style="menuitem">Preferences</gui>.</p>
</item>
<item>
- <p>Your current profile is selected in the sidebar. If you wish to edit
- a different profile, click on its name.</p>
+ <p>In the sidebar, select your current profile in the <gui>Profiles</gui>
+ section.</p>
</item>
<item>
<p>Select <gui style="tab">Scrolling</gui>.</p>
@@ -113,12 +114,12 @@
<steps>
<item>
- <p>Open <guiseq><gui style="menu">Edit</gui>
- <gui style="menuitem">Preferences</gui></guiseq>.</p>
+ <p>Press the menu button in the top-right corner of the window and select
+ <gui style="menuitem">Preferences</gui>.</p>
</item>
<item>
- <p>Your current profile is selected in the sidebar. If you wish to edit
- a different profile, click on its name.</p>
+ <p>In the sidebar, select your current profile in the <gui>Profiles</gui>
+ section.</p>
</item>
<item>
<p>Select <gui style="tab">Scrolling</gui>.</p>
@@ -137,12 +138,12 @@
<steps>
<item>
- <p>Open <guiseq><gui style="menu">Edit</gui>
- <gui style="menuitem">Preferences</gui></guiseq>.</p>
+ <p>Press the menu button in the top-right corner of the window and select
+ <gui style="menuitem">Preferences</gui>.</p>
</item>
<item>
- <p>Your current profile is selected in the sidebar. If you wish to edit
- a different profile, click on its name.</p>
+ <p>In the sidebar, select your current profile in the <gui>Profiles</gui>
+ section.</p>
</item>
<item>
<p>Select <gui style="tab">Scrolling</gui>.</p>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]