diff options
author | Jan Mulder <jlmulder@xs4all.nl> | 2017-03-07 09:51:13 +0100 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-03-17 09:36:52 -0700 |
commit | 3c2aaaf29c3fc33e91edd04461261f1d8c8d875e (patch) | |
tree | a823876d604d9db12a2884176211e9c31f75618f /Documentation/user-manual.txt | |
parent | acb38c9e00f263a60c0bb4b4765e889252990e3d (diff) | |
download | subsurface-3c2aaaf29c3fc33e91edd04461261f1d8c8d875e.tar.gz |
user manual: info box does not change
The info box for the dive profile is said to change to minimal when the
mouse pointer is outside the profile window. Testing this in 4.6.3 shows
that this is not the case. The info box does not change on window leave
of the pointer.
It might have worked that way before, but it is no big deal, so better to
change the manual to reflect the current working.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to 'Documentation/user-manual.txt')
-rw-r--r-- | Documentation/user-manual.txt | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index c89cd5d61..9c5b38757 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -2186,9 +2186,7 @@ placed adjacent to significant changes. ==== The *Information Box* The Information box displays a large range of information about the dive profile. Normally the Information Box is located to the top left of the *Dive -Profile* panel. If the mouse points outside of the *Dive Profile* panel, then -only the top line of the Information Box is visible (see left-hand part of -figure (*A*) below). The Information Box can be moved around in the *Dive Profile* +Profile* panel. The Information Box can be moved around in the *Dive Profile* panel by click-dragging it with the mouse so that it is not obstructing important detail. The position of the Information Box is saved and used again during subsequent dive analyses. |