Dirk Hohndel
ae12000063
core: clearing dive data should clear undo stack
...
If we clear out our dive data, we also need to clear out the undo stack
because it otherwise will refer to dives that no longer exist.
The cleanest way to do that would be to do it in the same function used
to clear the dive data. Which causes us to call C++ code from C code and
really is a bit of a mess with a circular dependency between our
libraries.
But this does seem better than relying on people to remember to call
into a second function after clearing the data.
Suggested-by: Michael Andreen <michael@andreen.dev>
Suggested-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2022-04-02 14:04:02 -07:00
..
2018-07-12 17:12:56 +02:00
2022-04-02 14:04:02 -07:00
2021-04-19 12:51:01 -07:00
2019-05-15 07:37:14 -07:00
2021-04-19 12:51:01 -07:00
2018-07-26 16:32:51 +03:00
2021-04-19 12:51:01 -07:00
2020-04-15 07:58:10 -07:00
2018-07-26 16:32:51 +03:00
2018-07-26 16:32:51 +03:00
2018-10-12 08:22:44 -07:00
2018-10-12 08:22:44 -07:00
2021-07-23 11:30:17 -07:00
2018-07-26 16:32:51 +03:00
2021-07-23 11:30:17 -07:00
2020-05-26 11:33:10 -07:00
2022-03-12 08:28:32 -08:00
2018-08-31 06:33:46 -07:00
2021-04-19 12:51:01 -07:00
2018-07-26 16:32:51 +03:00
2021-05-07 08:16:41 -07:00
2018-10-30 15:33:43 +01:00
2020-02-04 02:17:52 +01:00
2020-01-20 15:49:02 -08:00
2022-03-12 08:28:32 -08:00
2021-04-19 12:51:01 -07:00
2019-12-29 12:32:02 -08:00
2018-09-11 17:22:58 -07:00
2021-04-19 12:51:01 -07:00
2018-09-11 17:25:00 -07:00
2020-04-19 14:27:54 -07:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-29 12:31:31 -08:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-29 12:31:43 -08:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-25 02:57:42 +09:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-05 11:48:26 -08:00
2018-09-11 17:25:00 -07:00
2019-12-25 02:57:42 +09:00
2018-09-11 17:25:00 -07:00
2020-01-20 09:55:26 -08:00
2018-09-11 17:25:00 -07:00
2021-01-06 10:18:23 -08:00
2018-09-11 17:25:00 -07:00
2021-04-19 12:51:01 -07:00
2018-07-26 16:32:51 +03:00
2019-06-19 13:11:10 -07:00
2018-04-09 07:59:51 -07:00
2022-01-04 19:48:35 +01:00
2018-07-26 16:32:51 +03:00
2021-04-19 12:51:01 -07:00
2020-04-19 14:27:54 -07:00
2018-10-15 19:46:18 +02:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00
2018-09-11 17:25:00 -07:00