diff options
author | Andre Klapper <a9016009@gmx.de> | 2021-08-09 16:20:17 +0200 |
---|---|---|
committer | Andre Klapper <a9016009@gmx.de> | 2021-08-09 16:21:00 +0200 |
commit | e4e9351b7f489dfffca51205055899707ed8307d (patch) | |
tree | 33ab72ea817bbf6217af2ce57b0ff65076d45cb3 | |
parent | 63a546ce91ffa0ba85de1b6486741e3a5bdfe794 (diff) | |
download | gnome-dictionary-e4e9351b7f489dfffca51205055899707ed8307d.tar.gz |
help: No more 'Dictionary' menu bar item
-rw-r--r-- | help/C/print-font.page | 9 | ||||
-rw-r--r-- | help/C/sources-delete.page | 8 | ||||
-rw-r--r-- | help/C/sources-edit.page | 8 |
3 files changed, 16 insertions, 9 deletions
diff --git a/help/C/print-font.page b/help/C/print-font.page index 68690c7..34141dc 100644 --- a/help/C/print-font.page +++ b/help/C/print-font.page @@ -4,6 +4,7 @@ <info> <revision pkgversion="3.6" version="0.1" date="2013-03-29" status="candidate"/> + <revision pkgversion="40.0" version="0.2" date="2021-08-09" status="candidate"/> <link type="guide" xref="index#preferences"/> <link type="guide" xref="pref"/> @@ -32,9 +33,11 @@ <steps> <title>Change the font</title> <item> - <p>Select <guiseq><gui style="menu">Dictionary</gui> - <gui style="menuitem">Preferences</gui> - <gui style="tab">Print</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>Select <gui style="tab">Print</gui>.</p> </item> <item> <p>Click font selector button.</p> diff --git a/help/C/sources-delete.page b/help/C/sources-delete.page index e25b327..74bcaf5 100644 --- a/help/C/sources-delete.page +++ b/help/C/sources-delete.page @@ -31,9 +31,11 @@ <steps> <title>Delete a dictionary source:</title> <item> - <p>Select <guiseq><gui style="menu"><app>Dictionary</app></gui> - <gui style="menuitem">Preferences</gui> - <gui style="tab">Source</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>Select <gui style="tab">Source</gui>.</p> </item> <item> <p>Select the dictionary source that you want to delete.</p> diff --git a/help/C/sources-edit.page b/help/C/sources-edit.page index 3e51a20..1463e60 100644 --- a/help/C/sources-edit.page +++ b/help/C/sources-edit.page @@ -29,9 +29,11 @@ <steps> <title>To edit a dictionary source:</title> <item> - <p>Select <guiseq><gui style="menu">Dictionary</gui> - <gui style="menuitem">Preferences</gui> - <gui style="tab">Source</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>Select <gui style="tab">Source</gui>.</p> </item> <item> <p>Double click on the dictionary source you want to edit.</p> |