Dirk Hohndel d45a991460 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>
2014-08-19 21:18:26 -05:00
..
2014-08-18 11:47:18 -05:00
2014-06-26 15:47:02 -07:00
2014-02-08 08:00:27 -08:00
2014-06-26 15:47:02 -07:00
2014-06-26 15:47:02 -07:00
2014-07-29 13:01:46 -07:00
2014-07-23 07:47:15 -07:00
2014-06-26 15:47:02 -07:00
2014-07-18 10:21:42 -07:00
2014-08-08 11:13:05 -07:00
2014-07-16 09:11:04 -07:00