diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-10-12 15:30:11 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-10-13 11:32:27 -0700 |
| commit | 5f11c94f02eca651e07f5a0c2cc4e55dcbf2df0b (patch) | |
| tree | 59c0d4ad90adc5f4bc4df1796f4ba744f1afef8e /.gitignore | |
| parent | 4fb2f89bb5df643672fe95b382d92a18e0894c19 (diff) | |
| download | subsurface-5f11c94f02eca651e07f5a0c2cc4e55dcbf2df0b.tar.gz | |
Mobile: improve helper function to track selected dives
While on mobile there should always be only one selected dive, it's very
cheap to make sure that amount_selected is tracked correctly. The
incrementing of amount_selected is done in case an invalid id is passed
in.
Suggested-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions