diff options
| author |  Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2019-12-10 09:42:05 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2019-12-10 18:45:30 -0800 |
| commit | f5d480711a3eb9a785e8e4b9bd65f19a8fd09cea (patch) | |
| tree | 85eb0a3869b8bc5e1c576006c28a2ea1d2952763 /core/gas.h | |
| parent | 6ec82a3c80e0f362abc59a6df8ea793013f01c65 (diff) | |
| download | subsurface-f5d480711a3eb9a785e8e4b9bd65f19a8fd09cea.tar.gz | |
Filter: instruct UI of changed current dive
Updating the filter can lead to changes of the current dive.
Keep the UI in the know by re-initializing the selection.
This is not optimal, because the whole selection is reset,
but the pragmatic thing to do for now.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'core/gas.h')
0 files changed, 0 insertions, 0 deletions