RE: [ros-dev] Re: Oh, and then the ROS-Explorer bug with the Fold er-Icons