Dirk Hohndel 4d937051ca Fixing some issues with the dive selection after OK on preferences
These changes should be correct - but they still don't fix the problem
that after we click 'OK' on the preferences (regardless of whether any
changes were made), the first dive is set as current dive and shown in the
map window.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2013-06-05 17:15:32 +09:00
..
2013-05-17 22:27:50 -07:00
2013-05-23 18:35:04 -07:00
2013-05-30 05:53:50 +09:00