DroidPlanner/droidplanner — pull request #532 by arthurbenemann (2013-12-31 15:48:49+00:00)
Title: Editor: Changing the way the tools get switched on the editor.

Now by default go back to the NONE tool mode after finishing something like the path.