diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2019-11-28 15:26:09 +0100 |
|---|---|---|
| committer |  bstoeger <32835590+bstoeger@users.noreply.github.com> | 2019-12-04 13:00:23 +0100 |
| commit | bddca1ecc96480ee763efbd717b5e23a18bd05d0 (patch) | |
| tree | 6eb2d00fd2267680f6b993668aeff76d77137294 /desktop-widgets/tab-widgets | |
| parent | e46b1e88d92990d26d34981baf70fcf0b58ebec7 (diff) | |
| download | subsurface-bddca1ecc96480ee763efbd717b5e23a18bd05d0.tar.gz | |
Cleanup: remove unpaired rememberSelection() call
The old renumbering-dives code had to remember and restore the
selection. This became unnecessary with the undo-code. The
restore-call was removed, the remember-call left in. Remove it
as well.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'desktop-widgets/tab-widgets')
0 files changed, 0 insertions, 0 deletions