diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2015-09-22 19:59:58 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2015-09-22 19:59:58 -0700 |
commit | e66f0895c68c149c2eb726e38f5b5dbc00ab2548 (patch) | |
tree | a9f4d65711b8f519d8e97e7d95901545925decb6 /packaging/windows | |
parent | aeac5fcb6d3134e644f78c3390ca6253da86031e (diff) | |
download | subsurface-e66f0895c68c149c2eb726e38f5b5dbc00ab2548.tar.gz |
Dive merging: make sure that the profile is redrawn
This uses the just introduced refreshProfile() function.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'packaging/windows')
0 files changed, 0 insertions, 0 deletions