diff options
| -rw-r--r-- | help/C/pref-custom-command.page | 9 | ||||
| -rw-r--r-- | help/C/pref-custom-exit.page | 9 |
2 files changed, 10 insertions, 8 deletions
diff --git a/help/C/pref-custom-command.page b/help/C/pref-custom-command.page index b4243568..f103ad9f 100644 --- a/help/C/pref-custom-command.page +++ b/help/C/pref-custom-command.page @@ -5,6 +5,7 @@ <info> <revision pkgversion="3.8" date="2013-03-02" status="candidate"/> <revision pkgversion="3.12" date="2014-09-08" status="candidate"/> + <revision pkgversion="3.34" date="2020-01-04" status="candidate"/> <link type="guide" xref="index#preferences"/> <link type="guide" xref="pref#profile"/> <link type="seealso" xref="gs-execute-commands"/> @@ -44,12 +45,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">Command</gui>.</p> diff --git a/help/C/pref-custom-exit.page b/help/C/pref-custom-exit.page index 643d8211..681bdcff 100644 --- a/help/C/pref-custom-exit.page +++ b/help/C/pref-custom-exit.page @@ -5,6 +5,7 @@ <info> <revision pkgversion="3.8" date="2013-03-02" status="candidate"/> <revision pkgversion="3.12" date="2014-09-08" status="candidate"/> + <revision pkgversion="3.34" date="2020-01-04" status="candidate"/> <link type="guide" xref="index#preferences"/> <link type="guide" xref="pref#profile"/> <!-- <link type="seealso" xref="prob-recover-default-profile"/>--> @@ -38,12 +39,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">Command</gui>.</p> |