diff options
| author | Andre Klapper <a9016009@gmx.de> | 2021-08-09 16:29:50 +0200 |
|---|---|---|
| committer | Andre Klapper <a9016009@gmx.de> | 2021-08-09 16:29:50 +0200 |
| commit | bb0b4a6cf9e3088227014c0a44e51e0f8013a66a (patch) | |
| tree | d605b66c2c3568bd2c0e90d46bdf356f2ed638d1 /help | |
| parent | dfb817127036dddd5794543fc05ce09866c9ed14 (diff) | |
| download | gnome-dictionary-bb0b4a6cf9e3088227014c0a44e51e0f8013a66a.tar.gz | |
help: No more 'Dictionary' menu bar item
Diffstat (limited to 'help')
| -rw-r--r-- | help/C/sources-default.page | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/help/C/sources-default.page b/help/C/sources-default.page index 0380150..a1a6b64 100644 --- a/help/C/sources-default.page +++ b/help/C/sources-default.page @@ -5,6 +5,7 @@ <info> <revision pkgversion="3.6" version="0.1" date="2013-03-30" status="complete"/> + <revision pkgversion="3.40" version="0.2" date="2021-08-09" status="complete"/> <link type="guide" xref="sources#guide"/> <credit type="author copyright"> @@ -32,9 +33,11 @@ <steps> <title>Change the default dictionary source:</title> <item> - <p>Select <guiseq><gui><app>Dictionary</app></gui> - <gui style="menu">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 set as the default.</p> |