DroidPlanner/droidplanner — pull request #670 by arthurbenemann (2014-03-02 02:33:07+00:00)
Title: Fix for issues in the Editor tool handling

Fix the following two issues on the Editor (reported at #660):
* When the Mission detail window is show set the tool to NONE
* Make the tool indicator uncheck all tools when tool is set to none