Dirk Hohndel 74d89fc818 Planner / Add dive: hide handler after removing it
Otherwise users can still interact with it.

Fixes #648

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2014-07-30 09:31:22 -07:00
..
2014-06-08 12:42:51 -07:00
2014-07-10 19:59:54 -07:00
2014-07-10 19:59:54 -07:00
2014-07-11 10:44:41 -07:00
2014-06-01 15:42:32 -07:00
2014-06-01 15:42:32 -07:00