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 /marbledata/bitmaps/city_3_yellow.png | |
| 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 'marbledata/bitmaps/city_3_yellow.png')
0 files changed, 0 insertions, 0 deletions