diff options
author | Berthold Stoeger <bstoeger@mail.tuwien.ac.at> | 2018-05-01 12:35:18 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-05-13 13:52:35 -0700 |
commit | c71a5d74135d8ebf9dce6de6633499c1c41c07ff (patch) | |
tree | 2221f7e87767e80f2be0189cef82f8b03f9b511b /desktop-widgets/plannerDetails.ui | |
parent | d33e3b22fc5d2e878ee6e03a25e99870484da217 (diff) | |
download | subsurface-c71a5d74135d8ebf9dce6de6633499c1c41c07ff.tar.gz |
Dive pictures: Don't update all pictures on drag & drop to profile
In the old code, we used to reload the whole picture list on drag & drop
to the profile. Instead, only update the drag&dropped picture and repaint
the profile-pictures.
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Diffstat (limited to 'desktop-widgets/plannerDetails.ui')
0 files changed, 0 insertions, 0 deletions