diff options
author | Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2019-07-25 07:25:54 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2019-08-04 16:22:19 -0700 |
commit | ba4d6ae62707d20fef8d33ceab3f2de5be3e9ae7 (patch) | |
tree | 9a735267330238ffd0b7a551a160db9aa3b045ca /desktop-widgets | |
parent | 891d21b34eda04a362e0a6645a8dd8d2f8995837 (diff) | |
download | subsurface-ba4d6ae62707d20fef8d33ceab3f2de5be3e9ae7.tar.gz |
Cleanup: use clear_git_id() instead of setting saved_git_id
For better encapsulation, use clear_git_id() in clear_dive_file_data()
instead of setting saved_git_id directly.
Thus, memory management of the saved_git_id value is encapsulated
and can be modified more easily.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions