diff options
| author | Andre Klapper <a9016009@gmx.de> | 2021-08-09 16:31:44 +0200 |
|---|---|---|
| committer | Andre Klapper <a9016009@gmx.de> | 2021-08-09 16:31:44 +0200 |
| commit | 7e5c74223edeaf93da048aefbd686358f066e2d6 (patch) | |
| tree | d80fa2f42253bc859429bd73d308eb10d294e23e /help | |
| parent | 7ff9f1379de3bfc3da6278c926c926d4aaaceea0 (diff) | |
| download | gnome-dictionary-7e5c74223edeaf93da048aefbd686358f066e2d6.tar.gz | |
help: Remove button is just a minus now
Diffstat (limited to 'help')
| -rw-r--r-- | help/C/sources-delete.page | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/help/C/sources-delete.page b/help/C/sources-delete.page index 785e794..599f061 100644 --- a/help/C/sources-delete.page +++ b/help/C/sources-delete.page @@ -5,6 +5,7 @@ <info> <revision pkgversion="3.6" version="0.1" date="2013-03-30" status="complete"/> + <revision pkgversion="40.0" version="0.2" date="2021-08-09" status="complete"/> <link type="guide" xref="sources#guide"/> <link type="seealso" xref="prob-retrieving-definition"/> @@ -42,7 +43,7 @@ <p>Select the dictionary source that you want to delete.</p> </item> <item> - <p>Press <gui style="button">Remove</gui>.</p> + <p>Press <gui style="button">-</gui>.</p> </item> <item> <p>A dialog will pop up asking you to confirm that you wish to |