Berthold Stoeger
c5c8bfec65
undo: switch to dive after replan / profile edit
...
It is confusing when undoing a command and nothing happens
in the UI. Therefore, switch to the corresponding dive when
undoing/redoing a replan or profile edit.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2022-03-12 18:32:22 +01:00
..
2020-10-25 13:59:04 -07:00
2022-02-15 09:34:23 -08:00
2020-10-26 19:27:03 -07:00
2021-08-18 13:22:02 -07:00
2021-08-18 13:22:02 -07:00
2021-12-17 11:54:23 -08:00
2020-10-24 09:51:37 -07:00
2020-09-06 12:59:54 -07:00
2021-09-13 11:21:34 -07:00
2020-03-22 12:02:48 -07:00
2020-02-04 02:16:46 +01:00
2022-03-12 18:32:22 +01:00
2022-03-12 18:32:22 +01:00
2021-01-11 09:31:36 -08:00
2021-01-11 09:31:36 -08:00
2020-09-29 16:13:03 -07:00
2020-09-29 16:13:03 -07:00
2020-12-19 20:19:51 +01:00
2020-05-06 13:58:09 -07:00
2022-03-12 18:32:22 +01:00
2022-03-12 18:32:22 +01:00