DroidPlanner/droidplanner — pull request #1187 by arthurbenemann (2014-10-20 22:33:01+00:00)
Title: Editor: Update the tools fragment when the editor screen is created

This fixes #1141.