Dirk Hohndel 5afabfc9eb Planner: really fix crash after aborting planner
Duh. We had to reload the list (and make sure the internal data structures
are recreated as well) before restoring the selection.

I also switched to simply accessing the widget directly, instead of via
the dive_list() call.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2014-05-28 13:17:20 -07:00
..
2014-02-27 20:09:57 -08:00
2014-02-08 08:00:27 -08:00
2014-05-24 06:42:10 -07:00
2014-02-27 11:44:59 -08:00
2014-05-22 11:40:22 -07:00
2014-02-27 20:09:57 -08:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00
2014-05-27 20:31:18 -07:00
2014-05-22 11:40:22 -07:00
2014-05-26 13:28:18 -07:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00
2014-05-22 11:40:22 -07:00