diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2020-03-09 16:33:25 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2020-03-17 16:54:38 -0700 |
| commit | 9722f04e40a575ca757868a66cecfdcee801831c (patch) | |
| tree | 09bc4097b095eebe0f57b4e7379797fa3c0ee605 /desktop-widgets/tab-widgets | |
| parent | 6e59ee00d8a71de38b5249e43376ca9dca1cd4fe (diff) | |
| download | subsurface-9722f04e40a575ca757868a66cecfdcee801831c.tar.gz | |
undo: remove EditNumber command
Number editing works via the RenumberDives command.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'desktop-widgets/tab-widgets')
0 files changed, 0 insertions, 0 deletions