mirror of
https://github.com/subsurface/subsurface.git
synced 2025-02-17 19:36:15 +00:00
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> |
||
---|---|---|
.. | ||
50-pot | ||
fr/po | ||
images | ||
mobile-images | ||
compact_subsurface.css | ||
FAQ.wordpress | ||
make_PO_to_ASCIIDOC.sh | ||
make_POT.sh | ||
Makefile | ||
mobile-manual.html.git | ||
mobile-manual.txt | ||
mobile-manual_es.html.git | ||
mobile-manual_es.txt | ||
mobile-manual_fr.html.git | ||
mobile-manual_fr.txt | ||
user-manual.html.git | ||
user-manual.txt | ||
user-manual_es.html.git | ||
user-manual_es.txt | ||
user-manual_fr.html.git | ||
user-manual_fr.txt | ||
user-manual_ru.html.git | ||
user-manual_ru.txt |