Dirk Hohndel 9dab886117 Reload globe after dive location was modified
This way a change to the location name is immediately reflected in the
map display.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2013-06-05 11:39:40 +09:00
..
2013-06-02 20:31:04 +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