ros-planning/moveit_ros — pull request #534 by mikeferguson (2014-11-23 09:49:59+00:00)
Title: fix duplicate planning attempt box, also fix warning about name

An earlier version of the PR seems to have been merged, and thus f26a731a921993acea394ccf09f187fad284ca7b should not have been cherry picked recently into indigo-devel. This PR gets rid of the duplicate planning_attempt box in the GUI. Also makes the name of the horizontal layout unique, thus getting rid of a warning.