DroidPlanner/droidplanner — pull request #525 by arthurbenemann (2013-12-30 20:19:52+00:00)
Title: Editor: Make the Tools bar invisible while in multiselect

Closes #506.