diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-08-19 15:53:36 -0500 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-08-19 21:18:26 -0500 |
| commit | d45a991460e3ae95144c240d5d90ec574e0f6e1b (patch) | |
| tree | ca4c22dfb9bb712def3f262ba446495120a4dc58 /theme | |
| parent | d7630032e29947d4212ac21418040dd724692cba (diff) | |
| download | subsurface-d45a991460e3ae95144c240d5d90ec574e0f6e1b.tar.gz | |
Planner: after canceling a plan, redraw the profile
While planning we might have made changes to the displayed_dive. So we
need to make sure that the profile is redrawn after we cancel a plan (or a
re-plan).
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'theme')
0 files changed, 0 insertions, 0 deletions