diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2017-02-24 11:26:05 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-03-04 12:07:12 -0800 |
| commit | c204eefaaeea5614c94b07ede17b69edcd2a7d83 (patch) | |
| tree | c269be4dee399aa0fd9482d80932201f2bc51720 | |
| parent | 84d34e8b22775038e59f69d8cf5c619d0674d7e5 (diff) | |
| download | subsurface-c204eefaaeea5614c94b07ede17b69edcd2a7d83.tar.gz | |
user manual: do not repeat
Do not repeat the almost same text in the next sentence.
When entering a dive location name, auto location of
dive site names makes it easy to select an existing dive site name.
When typing the name of a dive site,
a dropdown list appears showing all sites with similar names.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
| -rw-r--r-- | Documentation/user-manual.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 6ed9de7ea..3757b7a64 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -687,8 +687,7 @@ made at the same location, the site information for the first dive is re-used. Existing dive locations can be edited by selecting (on the *Dive List* panel) a dive done at that site and by opening the location information. Click the globe button on the -right of the location name (see image on the right, above). When entering a dive location name, auto location of -dive site names makes it easy to select an existing dive site name. +right of the location name (see image on the right, above). When typing the name of a dive site, a dropdown list appears showing all sites with similar names. If the dive site has been used before, click on the already-existing name. |