diff options
author | Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2019-05-05 12:30:54 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2019-05-11 12:06:19 -0700 |
commit | 83926213ea7a97624ae5b52ac0979d5075855c50 (patch) | |
tree | 910f8abde9ada8251a7a32814c468f68c1cdd7da /map-widget | |
parent | 065423896dee0fe1cc6e2bd13e7e8d1b1cb3e181 (diff) | |
download | subsurface-83926213ea7a97624ae5b52ac0979d5075855c50.tar.gz |
Filter: don't reload when dive sites are set to the same value
When switching between the dive-site-table to the dive-site-edit
tabs, the filter would be set to a dive site. Usually, this would
be the same dive site as before. Nevertheless, this caused a full
map-reload. Detect if the dive-sites to be filtered are the same
and turn this operation into a no-op.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'map-widget')
0 files changed, 0 insertions, 0 deletions