diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2018-07-30 15:55:29 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-11 16:22:27 -0700 |
| commit | 96d87273995a6af35d90efb1190ff653e4c03d02 (patch) | |
| tree | f115a9ccd821cab753f2863fa86f9f08cd20bbd4 /profile-widget/divepixmapitem.h | |
| parent | 26901a8dbd91a18689199361541f9d1f90d56e4e (diff) | |
| download | subsurface-96d87273995a6af35d90efb1190ff653e4c03d02.tar.gz | |
Undo: use dive * instead of unique index in renumber-dives
Now, that pointers to dives are stable, we might just as well
use dive * instead of the unique-id. This also affects the
merge-dive command, as this uses the same renumbering machinery.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'profile-widget/divepixmapitem.h')
0 files changed, 0 insertions, 0 deletions