Fix for issues in the Editor tool handling#670

Merged

arthurbenemann merged 2 commits intoDroidPlanner:masterfrom arthurbenemann:issue660

Mar 2, 2014

+5-1

Commits on Mar 2, 2014

Editor: Make the tool indicator uncheck all tools when tool is set to none
arthurbenemann
committed
Editor: When the Mission detail window is show set the tool to NONE
arthurbenemann
committed