Berthold Stoeger 0bd821183d undo: implement gas switch
This is a bit hairy as - in theory - one gas switch can remove
other gas switch(es) at the same timestamp. However, I did not
find a way to test it. Moreover, it is not clear whether the
dive-tabs are properly updated on undo/redo.

Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
2020-04-07 00:13:35 +02:00
..
2020-04-07 00:13:35 +02:00
2020-04-07 00:13:35 +02:00
2020-04-07 00:13:35 +02:00
2020-04-07 00:13:35 +02:00